Extensional bezeichnen beide Ausdrücke dasselbe Element.
Intensional unterscheiden sie sich:
In \(\max(a,b)\) ist \(\max\) der Bezeichner einer Funktion
mit 2 Argumenten, die für vergleichbare Elemente einer (Partial)-Ordnung ihr
Maximum bezeichnet,
\(\max\{a,b\}\) ist eine Kurzform für \(\max(\{a,b\})\). Das ist eine Funktion, die einer
Teilmenge einer geordneten Menge ihr Maximum zuordnet.