Awon ami bintin meta to wa leyin nomba yi tumosi pe awon eyonomba miran si n bo leyin.Bakanna, awon nomba gidi tun ni idamo meji ti papa elesese (ordered field) ni, be ni won si ni idamo ti a mo si ipari l'oke tokerejulo (least upper bound).. 
 ṣùgbọ́n, lọ́nà kìíní nã, kò fẹ́ rìn jìnnà púpọ̀ sí àbúrò rẹ̀ gẹ́gẹ́ bí ìpinnu wọn pé àwọn kò gbọdọ̀ jìnná sára wọn bí ó ti le jẹ́ wí pé àwọn méjèè jì kò jọ fẹ́ gbé ibùdó kan náà.. 