for X being infinite set holds card { (F `) where F is Subset of X : F is finite } = card X