Definisjoner og innledende regler