Complete Discrete Definition