三者択一の法則

∃a,b,c∈R:実数

a < b a=b a > b

の何れか1つが成立する