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