forall x in X, {x} in A