Since every set is a subset of this latter class .
Every cardinality is the cardinality of a set ( by definition ! )
Since every set is a subset of this latter class , and every cardinality is the cardinality of a set ( by definition ! )