is said to be a "unit" class if the propositional function "'

is an

' is always equivalent to '

is

'" (regarded as a function of