This problem appears as problem GT18 in Garey and Johnson's classical book on NP-completeness, and is a rather straightforward reformulation of another decision problem on families of finite sets.
Эта задача содержится под номером GT18 в классической книге Гарея и Джонсона о NP-полноте и является прямой переформулировкой другой задачи разрешимости на семействах конечных множеств.