hmm, there's also this subtype, supertype terms, which I think are more common than upper bound or ancestor: http://docs.oracle.com/javase/tutorial/java/generics/inheritance.html, maybe supertype? i searched google for upper bound, it always appears as "upper bound wildcards" and not for types.