A) S \ T er endelig
* S = \N
* T = \N
* S \\ T blir Oe, som er endelig
B) S \ T er uendelig
* S = \Z
* T = \N
* S \\ T blir alle negative tall, som er uendelig
C) |S \ T| = 8
* S = \N
* T = {8, 9, 10, 11, ...}
* S \\ T blir {0, 1, 2, 3, 4, 5, 6, 7}, som har kardinalitet 8
A) {(2, 2), (2, 3), (3, 2), (3, 3), (1, a), (1, 1), (a, a), (b, b)} B) {(2, 3), (3, 2), (1, a), (a, 1)} C) {(2, 3), (3, 2), (2, 2), (3, 3), (1, a)}
A) {a^n, b^n | n = 0, 1, 2, …}
* Vi har basismengden \Lambda \in S.
* Hvis t \in S, saa ta, tb \in S
B) {a^n b^n | n = 0, 1, 2, …}
* Vi har basismengden \Lambda \in S.
* Hvis t \in S, så atb \in S.
C) {(ab)^n | n = 0, 1, 2, …}
* Vi har basismengden \Lambda \in S.
* Hvis t \in S, så tab \in S.