Tranzitivní uzávěr relace funkcionálně

• Df.: Minimální pevný bod (MPB) rovnice (1) je takový pevný bod R*, že neexistuje žádný další její pevný bod, který je vlastní podmnožinou R*.

• NPB, pak je jediným MPB.

• Existuje-li více MPB, pak jsou navzájem neporovnatelné a NPB neexistuje.