Thanks for the wokeupabug comments; very interesting!
Now I am mediating on the contrast between "God created the best possible Creation" and "God creates all possible Creations" (Spinoza opting for the latter on omnipotence grounds; being limited to creating an element of the lattice is less potent than creating an ideal of the lattice). This seems to imply an infinite lattice* of Creations, for in a finite lattice, we could always identify the possible Creations with their principal Creation?
* yes, I haven't defined either meet or join of Creations; please bear with me on this point...
EDIT: forgot "panentheism"; IIUC:
theism: God & Creation = ∅
panentheism: God & Creation = Creation
pantheism: God = Creation
I don't know if theologians have a word for it, but the most general situation would be that both (God & Creation) and (God ^ Creation) may take on values other than God, Creation, and ∅.
Now I am mediating on the contrast between "God created the best possible Creation" and "God creates all possible Creations" (Spinoza opting for the latter on omnipotence grounds; being limited to creating an element of the lattice is less potent than creating an ideal of the lattice). This seems to imply an infinite lattice* of Creations, for in a finite lattice, we could always identify the possible Creations with their principal Creation?
* yes, I haven't defined either meet or join of Creations; please bear with me on this point...
EDIT: forgot "panentheism"; IIUC:
I don't know if theologians have a word for it, but the most general situation would be that both (God & Creation) and (God ^ Creation) may take on values other than God, Creation, and ∅.