Transfinite sequence