это расположение конечного множества элементов, удовлетворяющее ряду специальных свойств