diagram chase (suomeksi)

Määritelmät:

(lb, en, mathematics, somewhat, informal) A proof in stages, each of which, in general, depends on the previous stages and can be visualized by means of a diagram of morphisms.