infinite set Deductions infinite set has part element ⇐ (infinite set is subclass of set), (set has part element) infinite set is opposite of finite set ⇐ finite set is opposite of infinite set