Sets are functions of type a -> Boolean. Stating that sets are well-defined is equivalent to stating that their function terminates.

Advertisements