Ostré uspořádání

V matematice je ostré uspořádání taková binární relace, která je areflexivní a transitivní. Pokud tedy tuto relaci značíme "⊂", pak pro všechny prvky a, b a c z množiny A (na které je tato relace definována) platí:

• ¬ (a ⊂ a) (areflexivnost)
• a ⊂ b ∧ b ⊂ c ⇒ a ⊂ c (transitivita)

Příkladem této relace je "být podmnožinou". Obecně se relace a ⊂ b čte a je menší než b, nebo a ostře předchází před b.