Definition:Discrete Space