Basic definitions and notation