Este documento define los conceptos de conjunto, relación y función. Un conjunto es una colección de objetos llamados elementos. Una relación establece una correspondencia entre los elementos de dos conjuntos. Una función es una relación especial que hace corresponder cada elemento de un conjunto con un único elemento de otro conjunto.