User blog comment:Denis Maksudov/M-notation (new version)/@comment-25337554-20160625095005/@comment-80.98.179.160-20171224105145

Yes, it IS well defined. See MathSE's Ordinal tetrationset.