in particular all the regular ordinals are cardinals