functor (D : Domain-> Relational.Domain