>>771
いや、順極限は直族に対して定義されてるわけだが
直族の定義は何?

準同型は何だよゴミ