 Note that there is no requirement that formula_11 nor that any groups be countable.The standard definition of SQ-universality is equivalent to SQ-universality both "in" and "for" the class of countable groups.Given a countable group "G", call an SQ-universal group "H" "G"-stable, if every non-trivial factor group of "H" contains a copy of "G".