Definition:Extremally Disconnected