The Sandbox

This is just a page to practice and learn WikiFormatting.

Go ahead, edit it freely.

TEST

Using LatexEquation:

Levels

Let be the set of all individuals and be the set of all pairs for all . (Note that may be any set and not just an individual.)

---

Definition Level:

Level_0 is the set of all individuals and relationships:

.

Level_n is the powerset of Level_n-1 for all positive integers n:

.

Level_X is the union of all "Level_n sets" for all non-negative integers n:

.

---

Definition Type_Individual:

Let and , then

.

---

Definition Type_Relationship:

Let and , then

.