% use [nosolutions] flag to hide solutions.
% use [solutions] flag to show solutions.
\documentclass[
	solutions,
	singlenumbering
]{../../../lib/tex/ormc_handout}
\usepackage{../../../lib/tex/macros}


% for \coloneqq, a centered :=
\usepackage{mathtools}
\usepackage{units}

\uptitlel{Advanced 2}
\uptitler{\smallurl{}}
\title{Definable Sets}
\subtitle{Prepared by Mark on \today{}}

\begin{document}

	\maketitle

	\input{parts/0 logic.tex}
	\input{parts/1 structures.tex}
	\input{parts/2 quantifiers.tex}
	\input{parts/3 sets.tex}
	\input{parts/4 equivalence.tex}

\end{document}