Category:Equivalence of Definitions of Extremally Disconnected Space