Otra consecuencia es que todo ordinal S es un conjunto que contiene como elementos precisamente los ordinales más pequeños que S.