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