It turns out that the occurence of forbidden self-contained sets is only a technical problem and we can circumvent it by skillfully defining a *contained relation*, as follows:

**Definition**: Contained Relation $"\in_X"$

Let $X$ be a set. The **contained** relation $\in_X\subseteq X \times X$ is a relation defined by $$\in_X:=\{(a,b)\in X\times X\mid a\in b\}.$$

| | | | | created: 2019-02-03 14:07:49 | modified: 2019-02-03 14:48:20 | by: *bookofproofs* | references: [8055]

(none)

[8055] **Hoffmann, D.**: “Forcing, Eine EinfÃ¼hrung in die Mathematik der UnabhÃ¤ngigkeitsbeweise”, Hoffmann, D., 2018

FeedsAcknowledgmentsTerms of UsePrivacy PolicyImprint

© 2018 Powered by BooOfProofs, All rights reserved.

© 2018 Powered by BooOfProofs, All rights reserved.