Introduction

The primary function of the document is as resource for the metaphysics of The Way of Being.

It may serve that function since the concepts of universe, the void, and beings correspond to the mereological concepts of universe, null part, and part. The mereological concept of ‘atom’ may also be useful to the way.

Partial order

A partial order on a set is a relation, ≤, such that for all a, b, and c, in the set

1. a ≤ a (reflexivity, every element is related to itself).

2. If a ≤ b and b ≤ a, then a = b (antisymmetry, two different elements cannot be related in the same direction).

3. If a ≤ b and b ≤c, then a ≤ c (transitivity).

Parthood

Pxy means x is a part of y.

Axioms for P

A1. Pxx (reflexivity)

A2. Pxy Ù Pyz ® Pxz (transivity)

A3. Pxy Ù Pyx ® x = y (antisymmetry)

Note—all initial universal quantifiers are dropped.

Some definitions

D1. EQxy º Pxy Ù Pxy (equality)

D2. PPxy º Pxy Ù Øx=y (proper parthood)

D3. PExy º Pyx Ù Øx=y (proper extension)

D4. Oxy º $z (Pzx Ù Pzy) (overlap)

D5. Uxy º $z (Pxz Ù Pyz) (underlap)

D6. Wx º Pyx (world or universe, w = x such that Wx)

D7. Nx º Øy (PPyx) (null part, n = x such that Nx)

D8. Ax º Øy (Pyx) Ù ØNx (atom, a = x such that Ax)