D⁺ respects equality on U