Cho L là tập mục thường xuyên, S là tập con của L thì với mọi tập con S’ của S ta có: a. Conference(S’-->L-S)

Conference(S’-->L-S) <= Conference(S-->L-S)

Conference(S’-->L-S: Conference(S-->L-S)

Conference(S’-->L-S) > Conference(S-->L-S)

Không so sánh được Conference(S’-->L-S) và Conference(S-->L-S)