Tamlık aksiyomu
K sıralamalı bir cisim olsun. K'nın boş olmayan üstten sınırlı her alt kümesinin supremumu veya boş olmayan alttan sınırlı her alt kümesinin infimumu vardır. Bu durumda K'ya Tamlık aksiyomunu sağlar denir.