Characteristic functions freely generate measurable functions
Volume 114 / 1981
Fundamenta Mathematicae 114 (1981), 85-90
DOI: 10.4064/fm-114-1-85-90