Abstraktní stavy a minimalita

V důkazu věty o minimalitě se v jednom místě používá "charakterizace existence polynomiálního inverzu", která je dokázána níže. Tuto větu tedy můžeme chápat jako motivaci pro následující teorii.