>>745
集合論の超限基数の演算です。