Множина напрямлена

в теорії порядку непорожня множина з заданим передпорядком і з додатковою властивістю: для довільної пари елементів множини існує верхня межа