La cesta inducida es la cesta inducida por el mapeo y la cesta , donde es el subespacio del producto directo formado por pares , para los cuales , y .
Al hacerlo, el siguiente diagrama conmutativo forma un cuadrado cartesiano :