family of sets Deductions power set is subclass of family of sets ⇐ (power set is subclass of set system), (set system is subclass of family of sets), (is subclass of is a transitive relation)