\begin{definition}[Definition:Infinite Class]
Let $A$ be a [[Definition:Class (Class Theory)|class]].
$A$ is an '''[[Definition:Infinite Class|infinite class]]''' {{iff}} $A$ is not a [[Definition:Finite Class|finite class]].
</onlyinclude>
\end{definition}
{"config": "wiki", "file": "def_31241.txt"}