{a,b} c= [:D,E:] ;
hence {a,b} is Relation of , ; :: thesis: verum