Definition from chapters 1 and 2 from Pardubska