Deductions
- outer inner location has part invariant ⇐ (boundary is a invariant), (outer inner location has part boundary)
- region of space has part invariant ⇐ (boundary is a invariant), (region of space has part boundary)
- invariant is for example boundary ⇐ (boundary is a invariant), (is a is inverse of is for example)
- boundary is a invariant ⇐ (topological property is subclass of invariant), (boundary is a topological property)
- multiplicity is subclass of invariant ⇐ (uniqueness is subclass of invariant), (uniqueness is opposite of multiplicity)
- type of property is for example invariant ⇐ (invariant is a type of property), (is a is inverse of is for example)
- uniqueness is subclass of invariant ⇐ (uniqueness is subclass of cardinal function), (cardinal function is subclass of invariant), (is subclass of is a transitive relation)
- cardinality is subclass of invariant ⇐ (cardinality is subclass of cardinal function), (cardinal function is subclass of invariant), (is subclass of is a transitive relation)