Wiederholungen der Elemente sind unerheblich. Die Anzahl der Elemente in einer Menge '$A$' wird als $|A|$ bezeichnet, heißt Kardinalität der Menge, einer Menge ohne Elemente. Beziehungen zwischen Sätzen können durch Venn-Diagramme dargestellt werden. Eine Relation beschreibt bestimmte Eigenschaften von Dingen und ist eine Menge geordneter Paare. Es ist eine Teilmenge geordneter Paare, die aus der Menge aller möglichen geordneten Paare gezogen wird. $R$ ist eine Beziehung, wenn. $R \subseteq {(x, y) |x\ \epsilon \ X,y\ \epsilon Y}$. Hier ist Domain $X$ und Codomain $Y$.