for K being Cardinal
for x being object holds Sum (x .--> K) = K