Function THE-UNIT

Arity: 2
Range: Unit
Subrelation-Of: Extrinsic-structuring-relation