クリーネ圏（Kleene圏）では、スター帰納法が基本になる。 f:X→X, ψ;X→Y, f;ψ ≦ ψ ----------------------------- Rep(f);ψ ≦ ψ : X→Y g:Y→Y, ψ;X→Y, ψ;g ≦ ψ ----------------------------- ψ;Rep(g) ≦ ψ : X→Yこれから次の一様性原理が出る。 f:X→X, g:Y→Y…