The term setof finds the characteristic function of a given function.

Definition of setof

Basic defining clauses (2 versions)

Important properties of setof

up show outline