Математическая энциклопедия
Логическая операция, служащая для образования высказываний с помощью оборота лдля некоторых х