This definition of subtyping is generally undecidable, so it cannot be verified by a type checker.
Αυτός ο ορισμός των υποκατηγοριών είναι γενικά μη αποκρίσιμος, οπότε δεν μπορεί να ελεγχθεί από έναν ελεγκτή τύπων.