Để biểu diễn rằng bất kỳ một thể hiện nào của lớp cha (lớp trừu tượnC. phải là một thể hiện của một trong những lớp con của nó, ta sử dụng ?