Once you name your types you can use them to build other types.

You can derive types from other types.

Just like in OO-languages, the derived type is an instance of its super type.

But what does that mean for XML?