Definition:Discrete Random Variable