thus x ** A is Subset of REAL by MEMBERED:3; :: thesis: verum