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