Talk:Hilbert Book Model Project/Relational Structures

This page should only be used for discussion about the Relational Structures (subpage).

← Relational Structures

Initial remarks
tbd

Comments for improved comprehension
The first 26 axioms use pure set mathematical operators and can be well understood this way. At the 27th axiom multiple additional details appear, which should be more clearly described: With the last interpretation the resulting x = a or x = (a intersection with p) would be wrong. Hence there is something different told, what needs better explanation.
 * The set L appears and seems to be the lattice as a whole.
 * The set S appears, which is unclear to me.
 * The "<" relational operator appears, which seems to be used as conventional "lower as" sorting operator.

Regarding the week modular compared to the modular lattice the naming sounds questionable: Naming such a behavior as week seems to be not well defined to me.
 * The modular lattice looks to be linear in a way that the union operation adds nothing to the result, what is not already included in the parts.
 * Instead the week modular lattice seems to be non-linearly productive in the way that any union operation produces more than the sum of parts.