Thus, when multiple subtyping relationships are defined, one must be careful to guarantee that all type coercions are coherent.
Έτσι, όταν ορίζονται πολλαπλές σχέσεις υποτύπων, πρέπει να είμαστε προσεκτικοί για να εγγυηθούμε ότι όλες οι συναρτήσεις εξαναγκασμού τύπων είναι συνεπείς.