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