Each parent-child relationship of the super type is preserved.

The order of the children of the super type is preserved.

The attributes of the super type is preserved.

If something is optional, its OK to disallow it in the derived type.

If something occurs multiple times, it may be OK to restrict that occurrence.