L'abstractor porta la variable lligada. Així:
![]()
| que es llegeix «la classe dels x que satisfan la funció proposicional 'ser atleta'», o «la classe dels atletes», o simplement «els atletes». |
O bé:
![]()
| que es llegeix «la classe dels x que satisfan F», on F és «és atleta». |

Aquesta obra est sota una llic ncia de Creative Commons.