The class of transitive properties.