D⁻ respects equality on U