Characteristic functions freely generate measurable functions Denis Higgs (1981) Fundamenta Mathematicae