Математическая энциклопедия
в частично упорядоченном множестве - элемент, непосредственно следующий за другим элементом; точнее, выражение "a покрывает bв частично упорядоченном множестве Р" означает, что b<а и не существует элемента 
, удовлетворяющего условию b<x<а. Т. С. Фофанова.