Let be a limit Ordinal. A set is called cofinal if We define the set Lemma is a Cardinal and Furthermore, Lemma