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