#2903: formation

paper/sections/calculus.tex

@@ -87,12 +87,11 @@ \subsection{Attributes}
 For example, the scope of the object at Eq.~\ref{eq:book2} consists of three identifiers:
 \ff{isbn}, \ff{title}, and \ff{price}.
 
-\subsection{Abstraction}
+\subsection{Formation}
 
 \begin{definition}\label{def:abstraction}
 An object \(x\) is \textbf{abstract} iff at least one of its attributes is void,
-i.e. \(\exists (a, \varnothing)\in x\);
-the process of creating such an object is called \textbf{abstraction}.
+i.e. \(\exists (a, \varnothing)\in x\).
 \end{definition}
 
 An alternative ``arrow notation'' may be used to denote an object \(x\) in a more
@@ -163,6 +162,8 @@ \subsection{Application}
 \end{split}
 \end{equation*}
 
+\subsection{Formation}
+
 \begin{definition}\label{def:formation}
 The process of creating an object that is not a copy of another object
 is called \textbf{formation}.