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

Definition of setof

Basic defining clauses (2 versions)

Important properties of setof

up | previous | next | detailed contents | brief contents