[see also: reverse

For the opposite inclusion, suppose that......

the opposite inequality

Then D is the face of the simplex s opposite to A. [Or: opposite A]