Una función es una regla que sirve para asociar un miembro o una secuencia de miembros de un conjunto con otro miembro de otro conjunto. (v. función veritativa)