propertyChainAxiom

The property that determines the n-tuple of properties that build a sub property chain of a given property.

propertyChainAxiom

The property that determines the n-tuple of properties that build a sub property chain of a given property.