доплата
Нехай упорядкований набір і F - підмножина з Е. Елемент x з E: • верхня межа F, якщо вона більше або дорівнює всім елементам F; ▪ меншість F, якщо вона менше або дорівнює всім елементам F :. ▪ Якщо F має мажорна х, то F - це розширене підмножина. ▪ Якщо F має меншість x, тоді F є меншою.