correspondencia biunívoca
Una función es biunívoca si a dos múltiples diferentes corresponden, a través de la función, dos múltiples diferentes. Esto se escribe:
¬ (α= β) → ¬ [ f(α) = f(β) ]
Dos conjuntos están en correspondencia biunívoca si existe una función biunívoca que, a todo elemento del primer conjunto hace corresponder un elemento del segundo, sin que haya resto (todos los elementos del segundo resultan alcanzados).
El concepto de correspondencia biunívoca funda la doctrina ontológica de la cantidad.
(El ser y el acontecimiento: diccionario final de la edición argentina en edit. manantial)
