·	Supertypes and Subtypes

·	How to Define a Subtype Definition and its Elements