Subconcepts of |C|BINARY-RELATION
|C|UNARY-FUNCTION