It means that there is an element x in the set S that is not in the set m. Then, m is a proper subset of m union {x}, which is a member of the set X. This leads to a contradiction, which means that the original assumption must be false.
9.5m questions
12.2m answers