HomePage | RecentChanges | Preferences
The residual size of a class of algebraic structures is the supremum of the cardinalities of the
[subdirectly irreducible]? members of the class. If there is no bound on the size of the subdirectly irreducible
members, the residual size is said to be unbounded. In this case the class is said to be residually large,
otherwise it is residually small. If all all subdirectly irreducible members are finite, the class is residually finite.