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