Let be a Graph and are not connected
We say that is an separator
if disconnects and .