Предполнота замкнутых классов в P_k: предикатный подходстатья