40/120
\begin{frame}
\frametitle{Cardinality Limits}

Express the following:
\begin{itemize}
\item Every $a$ in $A$ is connected to precisely one $b$ in $B$,\\
and every $b$ in $B$ is connected to at most one $a$ in $A$.
\begin{center}
\pause
\begin{scope}
\node[relationship] (R) {R};
\node (l) [left of=R,entity,minimum size=4mm] {A}; \draw (R) -- node[above,pos=.6] {$0\sldots1$} (l);
\node (r) [right of=R,entity,minimum size=4mm] {B}; \draw (R) -- node[above,pos=.7] {$1\sldots 1$} (r);
\end{scope}
\end{tikzpicture}
\end{center}

\pause
\item Every $a$ in $A$ is connected to one or more $b$ in $B$,\\
and every $b$ in $B$ is connected to at most one $a$ in $A$.
\pause
\begin{center}
\begin{scope}
\node[relationship] (R) {R};
\node (l) [left of=R,entity,minimum size=4mm] {A}; \draw (R) -- node[above,pos=.6] {$0\sldots 1$} (l);
\node (r) [right of=R,entity,minimum size=4mm] {B}; \draw (R) -- node[above,pos=.6] {$1\sldots *$} (r);
\end{scope}
\end{tikzpicture}
\end{center}

\pause
\item Every $a$ in $A$ is connected to one or more $b$ in $B$,\\
and every $b$ in $B$ is connected to precisely one $a$ in $A$.
\pause
\begin{center}
\node (l) [left of=R,entity,minimum size=4mm] {A}; \draw (R) -- node[above,pos=.7] {$1\sldots 1$} (l);
\node (r) [right of=R,entity,minimum size=4mm] {B}; \draw (R) -- node[above,pos=.6] {$1\sldots *$} (r);