What's the name of an undefined type with a bound (and the opposite)?

Question

Let\'s say I have a type hierarchy:

trait Root { type Self <: Root }
class A extends Root { type Self <: A }
class B extends A { type Self <: B }