Deductions
- part is subclass of set function ⇐ (whole is subclass of set function), (whole is opposite of part)
- whole is subclass of set function ⇐ (whole is subclass of content), (content is subclass of set function), (is subclass of is a transitive relation)
- set function is subclass of relation ⇐ (set function is subclass of function), (function is subclass of relation), (is subclass of is a transitive relation)
- set function is subclass of binary relation ⇐ (set function is subclass of function), (function is subclass of binary relation), (is subclass of is a transitive relation)
- set function is subclass of mathematical object ⇐ (set function is subclass of function), (function is subclass of mathematical object), (is subclass of is a transitive relation)
- set function is subclass of class ⇐ (set function is subclass of function), (function is subclass of class), (is subclass of is a transitive relation)
- set function is subclass of set ⇐ (set function is subclass of function), (function is subclass of set), (is subclass of is a transitive relation)
- measure is subclass of set function ⇐ (measure is subclass of content), (content is subclass of set function), (is subclass of is a transitive relation)