Key notions

Click on a notion to see the definition.