Σχέση μεταξύ ιδιοτήτων, όπου τα ζεύγη που συσχετίζονται με την υπο-ιδιότητα συσχετίζονται επίσης και με τη υπερ-ιδιότητα.