Definition:Inclusion-Reversing Mapping

From ProofWiki
Jump to navigation Jump to search

Definition

Let $A, B$ be sets of sets and $\phi: A \to B$ be a mapping.


Then $\phi$ is inclusion-reversing if and only if:

for every pair of sets $a_1, a_2 \in A$ such that $a_1 \subseteq a_2$:
$\phi \left({a_2}\right) \subseteq \phi \left({a_1}\right)$


Also see


Generalizations