Исследование свойств конечных множеств с заданными отношениями между их элементами.