For example, the orthomodular lattice extends into a separable Hilbert space because the set of closed subspaces of this Hilbert space is lattice isomorphic to the orthomodular lattice.
This question is important because if such founding structures exist, then it is possible to derive the structure of physical reality from one founding structure or a small set of founding structures.
This again is important because it becomes apparent that the lower levels of physical reality are inaccessible to investigation via experiments.
One of the problems with the example is that the Hilbert space applies a number system for the specification of its inner product. That number system must be a division ring.
If the answer is positive, then physical reality needs only to incorporate these founding structures to also incorporate many parts of mathematics.
https://docs.com/hans-van-leunen