@AndrésE.Caicedo I just wanted to make sure that you are aware of this question on meta: How should basic questions about transfinite ordinals and cardinals be tagged? Since you have edited the tag-info to remove "transfinite induction, well-orders, ordinal and cardinal arithmetic", it's quite likely that you have something to say about this topic.