NAT c= the carrier of T by Def3;
hence dom <%i%> c= the carrier of T by XBOOLE_1:1; :: according to RELAT_1:def 18 :: thesis: verum