Dabei ist der Term "" nur eine sprachliche Abkürzung für den korrekten, aber deutlich längeren, ZFC-Term. Natürlich könnte man s auch unverändert von IN auf das gesamte Universum ausdehnen, aber es mag durchaus Prädikate geben, wo der gezeigte "Trick" notwendig ist. --SirJective 12:26, 29. Jun 2005 (CEST)