Vi inför först några beteckningar :