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