Дискретная математика

4. Нужно использовать следующее свойство замыкания: если A ⊆ B, где класс B замкнут, то [A] ⊆ [B] = B. Следовательно, если f не принадлежит B, то f не принадлежит [A]. Так, для доказательства того, что f не принадлежит [g], достаточно показать, что g принадлежит B и f не принадлежит B, где B — один из предполных или, в более общем случае, замкнутых классов. В этом случае в решении нужно указать
соответствующий класс B и результаты принадлежности к B функций f и g,
которые обеспечивают нужное заключение, например: g принадлежит T0, f не принадлежит T0. Отсюда следует, что f не принадлежит [g].
Недостаточно привести критериальную таблицу для f и g без указания того, из каких клеток следует требуемый факт. Нужно доказать принадлежность или ее отсутствия функций к нужному классу. Тот факт, что f 2 [g], нужно
доказывать из других соображений, например, предъявив конкретную формулу над {g},
реализующую f, или доказав, что g шефферова.