Definition 3.1.4.1.  Let F be a field, n ∈ ℕ. We define:
Fn := [Fn, +, 0F1×n, −, ⋅]F = F1×n
Equality.  No proof.
References.