Supercontainment

Supercontainment, an extension on Containment, is a concept used in post-Realm objects. It is currently in use as a fallback for Containment, as regular containment provably cannot extend beyond Realms.

Properties

 * Any object that directly supercontains a Realm is not itself in a Realm, rather it is in a Trunia.
 * If X contains or supercontains Y, and Y supercontains Z, then X supercontains Z.
 * An object can supercontain another object any amount of times.
 * X supercontaining Y does not always imply that X contains Y.
 * X supercontains Y if X contains a reference to Y. This is elaborated on in this section.

Proof of Containment not extending beyond Realms
By proof of contradiction, let's say X did contain multiple Realms. Since most pages on this wiki describe something physical, let's say that X is also physical.

This means the Realms within X are connected. However, this leads to a few contradictions:
 * All realms within X are not separate, but Realms should be separate by definition.
 * X must be within domain of space (a Realm) due to being physical. Since X contains other realms, this can lead to more contradictions like "The first Realm contains the second Realm", which violate the Realms' separation.

Because of these logical errors, X cannot contain Realms.

Supercontainment as a solution
Instead of X containing Y, X supercontains Y if X contains a reference to Y.

However, the word "reference" needs to be defined here. In this context, Z is a reference to Y if Z:
 * Is a projection of Y, that is when Z is observed a variant of Y's information is returned
 * Redirects writing to Y, that is if an action is applied to Z, it ends up happening to Y instead

This solves the issue of logical contradictions with Realm containment, since specific projections of Realms can lack the properties that lead to the contradiction in the first place. This also gives a way for X to interact with Y.

References are typically formed from object to object using the form of matter known as Cipp.

Antisupercontainment
Antisupercontainment is similar to regular supercontainment, but instead of "X contains a reference to Y", the statement is "Reference of X contains Y". It has converse properties to regular Supercontainment.