Definition and Types