супертип (supertype)

Супертип — это тип, который имеет хотя бы один подтип. Любые операции, поддерживаемые супертипом, должны поддерживаться и любыми подтипами.