leq-preserves-cxt-efxmap