Skip to content

zelph - A Sophisticated Semantic Network System

power set

power set

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)
ordered pair is part of power set ⇐ (ordered pair is part of binary relation), (binary relation is part of power set), (is part of is a transitive relation)
binary relation is part of power set ⇐ (binary relation is part of Cartesian product), (Cartesian product is part of power set), (is part of is a transitive relation)