Given a commutative diagram, a proof by diagram chasing involves the formal use of the properties of the diagram, such as injective or surjective maps, or exact sequences.
Dado un diagrama conmutativo, unha demostración mediante persecución de diagramas implica o uso formal das propiedades do diagrama, tales como os mapas inxectivos ou supraxectivos, ou sucesións exactas.