In topology, a field of mathematics, the join of two topological spaces A and B, often denoted by or , is defined to be the quotient space
where I is the interval [0, 1] and R is the equivalence relation generated by
At the endpoints, this collapses to and to .