and
', the terms to which
has the given relation and those to which
' has it have no member in common. Or, again, they may be defined as relations such that the relative product of one of them and its converse implies identity, where the "relative product" of two relations
and
