Definition 1.6.16.  Let X, Y be sets, A ⊆ X, :X × Y → X be an operation such that ∀ x ∈ A, y ∈ Y : xy ∈ A. We define:
A×Y:= A×YA