⁠ contains a cardinality lesser than or equal to the cardinality of another set ⁠ T displaystyle T A more formal statement of your axiom of choice is: the Cartesian solution of every indexed spouse and children of nonempty sets is non empty. be set to perform sth Fears that https://frankp912dca2.wikistatement.com/user