Definition:Finite Character/Property of Sets

Definition
Let $P$ be a property of sets.

Then $P$ has finite character for every set $x$:


 * $x$ has property $P$ every finite subset of $x$ has property $P$.