Processing math: 100%

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:nN},
Q= the set of rationals ={m/n:m,nZ,n>0},
R= the set of real numbers,
C= the set of complex numbers ={x+iy:x,yR}.

P(A)={S:SA}, the power set of A.
An={a0,,an1:a0,,an1A}, 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 n0 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.


QR Code
QR Code notation_and_terminology (generated for current page)