for X being set holds card (singletons X) = card X