Definitions and basics