Nesthood has Finite Character

Theorem
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


 * every finite subset of $x$ is a nest.
 * every finite subset of $x$ is a nest.