رابطهی «داشتن» بین دو موجودیت «ماشین» و «موتور» رو در نظر میگیریم. هر ماشین یک موتور داره و فقط هم یکی داره. ماشینی که موتور نداشته باشه عملاً دیگه ماشین نیست! بنابراین از این طرف رابطه ضروری هست.
از طرفی یک موتور ممکنه ماشینی نداشته باشه. یعنی روی هیچ بدنهی ماشینی نصب نشده باشه. بنابراین از این طرف رابطه غیرضروری هست.