Dolní závora

Formula

Takové číslo $z$, pro které platí: $\forall x\in M:x\le z$