υπέρθετη ποικιλία: ορισμός