Geef de formules waarmee de verschillende kardinaliteiten van de verschillende samengestelde typen kunnen worden berekend en pas deze toe