Misalkan g : A → B dan h : C → D keduanya pemetaan injektif. Definisikan pemetaan Ф : A × C → B × D melalui Ф(x,y) = (g(x), h(y)) untuk setiap (x,y) ∈ A × C. Perlihatkan bahwa Ф injektif