Här används följande två definitioner :