reconsider CS = ContMaps (S,T) as full SubRelStr of T |^ the carrier of S by Def3;
CS is antisymmetric ;
hence ContMaps (S,T) is antisymmetric ; :: thesis: verum