[#] A,B c= [:A,B:] ;
hence [#] A,B is Relation of A,B ; :: thesis: verum