Graf a jeho transitivní uzávěr