Cardinalities related domains (1)