Eyi tumosi pe gbogbo abeikojopo S (subset) ti ki se ofo, fun R pelu ipari l'oke ninu R ni ipari l'oke tokerejulo (least upper bound or supremum) kan ninu R.Idamo to gbeyin yi lo seyato larin nomba gidi ati nomba oniipin.. 
Arthur Cleyley mu apotinọ́ḿbà (matrix) wa ní ọdún 1857.. 