is defined by a propositional function

, and

by a propositional function

. E.g., if

is men,