В данной статье вводятся основные понятия OLAP-систем, которые затем формализуются с использованием математического аппарата теории решеток. В рамках введенной формализации доказывается оптимальность представления OLAP-кубов замкнутыми решетками или эквивалентными им Quotient-решетками.