Följande egenskaper måste finnas: