{\displaystyle A\star B\ :=\ (A\times B\times [0,1])/\sim ,} Moozonian · en.wikipedia.org Visit Source
{\displaystyle {A\times B\times \{1\}}\xrightarrow {p_{1}} B.} Moozonian · en.wikipedia.org Visit Source
{\displaystyle {A\times B\times \{0\}}\xrightarrow {p_{0}} A,} Moozonian · en.wikipedia.org Visit Source
![{\displaystyle A\star B\ :=\ (A\times B\times [0,1])/\sim ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/decae26fa8d28d5c10c9799cff0f65b6ceb2641f)
![{\displaystyle A\times B\times [0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc14ea900fe608b27ffbc8ae5cf2174698c0b085)
