Мера независимости классификаций

Классификации некоторого множества объектов считаются зависимыми, если их классы попарно либо не пересекаются, либо вложены один в другой. Независимость понимается как отклонение от этих двух ситуаций. Вводится система аксиом, которым должна удовлетворять мера для количественной оценки степени независимости. Доказывается теорема существования и единственности такой меры.