Notation and Terminology
This page describes the conventions that are used for the entries in the database
\emph{Sets } are denoted by upper-case roman letters, usually A,B,C,…,U,V,W.
N= the set of natural numbers ={0,1,2,…},
Z= the set of integers =N∪{−n:n∈N},
Q= the set of rationals ={m/n:m,n∈Z,n>0},
R= the set of real numbers,
C= the set of complex numbers ={x+iy:x,y∈R}.
P(A)={S:S⊆A}, the power set of A.
An={⟨a0,…,an−1⟩:a0,…,an−1∈A}, the set of all n-tuples of elements of A.
\emph{Elements of sets} are denoted by lower-case roman letters, usually a,b,c,d,e.
\emph{Variables that range over elements} are denoted by lower-case roman letters, usually x,y,z,u,v,w,x0,x1,….
\emph{Integer variables} are usually denoted by i,j,k,m,n.
\emph{Variables that range over sets} are denoted by upper-case roman letters, usually X,Y,Z,X0,X1,…
\emph{Functions} are denoted by lower-case roman letters, usually f,g,h.
A \emph{(first-order) operation} on a set A is a function from An to A, where n≥0 is the arity of the operation. If n=0 then the operation is called a \emph{constant}.
A \emph{(first-order) relation} on a set A is a subset of An, where n>0 is the arity of the relation.
A \emph{second-order operation} on a set A is a function from P(A)n to A.
A \emph{second-order relation} on a set A is a subset of P(A)n.
A \emph{mathematical structure} is a tuple of the form A=⟨A,…⟩ where A is a set and … specifies a list of (possibly higher-order) operations and relations on A.