"The class of irreflexive properties." . . . "IrreflexiveProperty" . .