Join (del inglés join - "conexión") es una construcción en topología , dando el tercero en dos espacios topológicos . La interpretación intuitiva de una unión es el conjunto de todos los segmentos que comienzan en cualquier punto del primer conjunto y terminan en cualquier punto del segundo.
Para dos espacios topológicos y una reunión se define como el espacio cociente
según la relación de equivalencia mínima « » tal que
Por lo tanto, el mapeo from to join contrata to y to .