User blog comment:Vel!/Googology and well-defined-ness/@comment-4224897-20141007121620/@comment-5150073-20141007122505

Even linear arrays are defined with informal "..."'s, so it already lies in B.