 Formally speaking, this natural approach begins with an irreflexive and transitive ontological priority relation \(P\). A foundational entity may then be defined as an entity that has nothing prior to it: