Vi inför först följande beteckningar .