Definition 1.6.17.  Let X be a set, A ⊆ X, :X × X → X be an operation on X such that ∀ x, y ∈ A : xy ∈ A. We define:
A:= A×AA
References.