Let $(X,\mathbb I)$ be a Polish ideal space and let $T$ be any set. We show that under some conditions on a relation $R\subseteq T^2\times X$ it is possible to find a set $A\subseteq T$ such that $R(A^2)$ is completely $\mathbb I $-nonmeasurable, i.e, it is $\mathbb I$-nonmeasurable in every positive Borel set. We also obtain such a set $A\subseteq T$ simultaneously for continuum many relations $(R_\alpha )_{\alpha <2^\omega }.$ Our results generalize those from the papers of K. Ciesielski, H. Fejzić, C. Freiling and M. Kysiak.
In this note, we prove that the countable compactness of {0, 1} R together with the Countable Axiom of Choice yields the existence of a nonmeasurable subset of . This is done by providing a family of nonmeasurable subsets of whose intersection with every non-negligible Lebesgue measurable set is still not Lebesgue measurable. We develop this note in three sections: the first presents the main result, the second recalls known results concerning non-Lebesgue measurability and its relations with the Axiom of Choice, the third is devoted to the proofs.