Set-Class is a meta-Class. Its instances are special
kinds of classes, all of whose instances
are themselves sets (not Classes) such that every member of such a set
is specified to be a member of a certain Class.