Abgeschlossenheit gegenüber Multiplikation positiver Zahlen (Anordnungsaxiom)

1. Axiom

\begin{align*} x > 0 \land y > 0 \Rightarrow x \cdot y > 0 \end{align*}