 If formula_48 is a concrete category, then the definition of "SQ-universal in formula_9" also makes sense.As in the group theoretic case, we use the term SQ-universal for an object that is SQ-universal both "for" and "in" the class of countable objects of formula_48.Many embedding theorems can be restated in terms of SQ-universality.