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