Недавно где-то слышал про так называемую запредельную алгебру (и ее применение в запредельной топологии). Она связана с пределами предельных ординалов в теории групп, вроде она определяется как следующий член трансфинитного ряда:

но скорее всего это не официальное название. Я не очень знаком с теорией групп, и не нашел никакой информации. Кто-нибудь знает о чем может идти речь? И литературу, подскажите, пожалуйста, если знаете?