Проверочные ограничения: основные выражения