Ως αντίστροφες των σχέσεων pe(-), pe'(-), pe'(-), pe r (), pe (•) που συσχετίζουν κλάσεις αντικειμένων προς στοιχεία πρωτοκόλλου ορίζονται οι σχέσεις def(•), inh(-), acc(-), hac(-) και lac(-) οι οποίες συσχετίζουν στοιχεία πρωτοκόλλου προς κλάσεις αντικειμένων.Συγκεκριμένα, για κάθε στοιχείο πρωτοκόλλου Ε ορίζουμε ως α. ορίζουσα κλάση (defining class) του Ε την κλάση αντικειμένων def(E) = C eclasses(O) : E epe(C) upe(C) β. κληρονομούσες κλάσεις (inheriting classes) του Ε τις κλάσεις αντικειμένων inh(E) = {C e classes (Ο) : E epé(C)} γ. αποδεκτικές κλάσεις (acceptor classes) του Ε τις κλάσεις αντικειμένων acc(E) = {def(E)} uinh(E) δ. μέγιστη αποδεκτική κλάση (highest acceptor class) του Ε την κλάση αντικειμένων hac(E) = {C eacc(E) : super'(C) nacc(E) = 0} =def(E) ε. ελάχιστες αποδεκτικές κλάσεις (lowest acceptor classes) του Ε τις κλάσεις αντικειμένων lac(E) = {C eacc(E) : sub Λ (C) nacc(E) = 0} Για τους ορισμούς αυτούς ισχύει το επόμενο συμπέρασμα. Συμπέρασμα 2.3. Κάθε στοιχείο πρωτοκόλλου Ε ενός Σχήματος Α/Κ Ο διαθέτει α. ακριβώς μία ορίζουσα κλάση def(E) β. καμία, μία ή περισσότερες από μία κληρονομούσες κλάσεις C e inh(E) γ. τουλάχιστον μία αποδεκτική κλάση C e acc(E) δ. ακριβώς μία μέγιστη αποδεκτική κλάση hac(E) ε. τουλάχιστον μία ελάχιστη αποδεκτική κλάση C e lac(E).