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