No se ha añadido ninguna twiki todavía.

Llamado también operador de clases o abstractor. Es una variable de individuo sobre la que se escribe un acento circunflejo [math]\hat{x}[/math] que indica la operación lógica de la abstracción, o constitución de un enunciado abierto en una clase, y que se lee «la clase de todos y sólo aquellos objetos x tales que». Así, «[math]\hat{x}[/math] (x es una persona agradable)» se lee «la clase de las personas agradables»