Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
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
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í,