Discrete Functions Definition