Este documento define conceptos fundamentales de relaciones y funciones, incluyendo pares ordenados, igualdad de pares, producto cartesiano de conjuntos, diagonal de un conjunto, relaciones binarias, dominio y rango, y propiedades como reflexividad y transitividad. Explica cómo determinar una relación binaria por extensión o comprensión, y define una relación de orden y la relación inversa.