1.4.2 Några definitioner