User blog comment:Kyodaisuu/My ordinal is bigger!/@comment-1605058-20140921085637/@comment-1605058-20140921160015

a can be any ordinal number. In this comment I meant the union of all the systems, as defined in linked blog post.