The class of irreflexive properties.