структура, що є доповненою дистрибутивною граткою, та частина математики, яка вивчає подібні структури