El primer axioma dice que "L" es un semirretículo superior; el segundo que "L" es un semirretículo inferior.