Category:Nesthood has Finite Character

This category contains pages concerning Nesthood has Finite Character:

Let $P$ be the property of sets defined as:

$\forall x: \map P x$ denotes that $x$ is a nest.

Then $P$ is of finite character.

That is:

$x$ is a nest

if and only if:

every finite subset of $x$ is a nest.