in set theory, the theorem that a set has a strictly smaller cardinality than its powerset
The cardinality of the set {x, y, z}, is three, while there are eight elements in its power set (3 < 2 = 8), here ordered by inclusion.
In mathematical set theory, Cantor's theorem is a fundamental result which states that, for any set
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).