Análisis retrógrado

Achterwaarts redeneren om af te leiden welke eerdere zetten of gebeurtenissen met de huidige stelling en legaal schaakspel verenigbaar zijn.

Een legale zettenreeks vanuit de beginstelling naar een gegeven stelling, waarmee wordt aangetoond dat de doelpositie bereikbaar is.

Een conventie die een oplossing in delen splitst wanneer toestemming voor bepaalde bijzondere zetten van onverenigbare legale voorgeschiedenissen afhangt.