includes a cardinality more compact than or equivalent to the cardinality of A different established T displaystyle T A far more official statement on the axiom of decision is: the Cartesian solution of each indexed family of nonempty sets is non vacant. [ T ] existing participle https://elleryu135kjh5.wikiap.com/user