ce of: #$RelationTypeByLogicalFeature #$AtemporalNecessarilyEssentialCollectionType<br />
	    direct specialization of: #$Relation <br />
	    direct generalization of: #$SymmetricBinaryPredicate</p>
<p>#$FunctionalRelation   functional relations</p>
<p>    A specialization of #$Relation each instance of which is either a function (see #$Function-Denotational) or a predicate that is functional in at least one argument-place (see #$FunctionalPredicate and #$functionalInArgs). Examples include #$