A space of pseudoquotients $mathcal P (X,S)$ is defined as equivalence classes of pairs $(x,f)$, where $x$ is an element of a non-empty set $X$, $f$ is an element of $S$, a commutative semigroup of injective maps from $X$ to $X$, and $(x,f) sim (y,g)$ if $gx=fy$. In this note we assume that $(X,Sigma,mu)$ is a measure space and that $S$ is a commutative semigroup of measurable injections acting on $X$ and investigate under what conditions there is an extension of $mu$ to $mathcal P (X,S)$.
Download