Вивчення поняття відносин залежності
Тому що X незалежно, те такі множини існують; крім того, якщо — деяке лінійно впорядкована множина множин з J, те його об'єднання знову належить J, оскільки Z задовольняє умові , і якщо Z залежне , те деяка кінцева підмножина множини Z повинне було...