the Instructions of S c= [:NAT ,(((union N) \/ the carrier of S) * ):] by Def32;
hence the Instructions of S is Relation-like ; :: thesis: verum