Commit a130fe27 authored by Michael Kohlhase's avatar Michael Kohlhase

moved to smglom

parent 74c411e9
\begin{module}[id=multirel]
\symdef{multirelation}[1]{\assoc[p=300]{\strut}{#1}}
\begin{axiom}
Multirelations are built up from binary relations via conjunction:
$\multirelation{a,R,b,S,c\ldots}$ holds, iff $R(a,b)$ holds and also
$\multirelation{b,S,c,\ldots}$.
\end{axiom}
\begin{example}
\guse[smglom/arithmetics]{numbers-orders}
The multirelation
$\multirelation{a,\lethanFN,b,\eqFN,c,\lessthanFN,d}$ is an aggregation of three
equations: $\lethan{a}b$, $\eq{b,c}$, and $\lessthan{c}d$.
\end{example}
\end{module}
%%% Local Variables:
%%% mode: LaTeX
%%% TeX-master: t
%%% End:
% LocalWords: symdef assoc ldotslethanFN eqFN lessthanFN lethan
% LocalWords: eq lessthan
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment