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