tgtmap2efxmap-preserves-disjoint
tgtmap2efxmap-preserves-disjoint-join
efxmap2tgtmap-preserves-domain
efxmap2tgtmap-preserves-domain-converse