${\displaystyle {}{\binom {n}{k}}={\frac {n!}{k!(n-k)!}}\,}$

definiert.

${\displaystyle {}\geq }$

${\displaystyle {}R}$

1. Aus ${\displaystyle {}a\geq b}$ folgt ${\displaystyle {}a+c\geq b+c}$ für beliebige ${\displaystyle {}a,b,c\in R}$,
2. Aus ${\displaystyle {}a,b\geq 0}$ folgt ${\displaystyle {}ab\geq 0}$,

erfüllt.