Anta at man designer et system for å spore kjøretøy og størrelsen på motorene deres. Hvert kjøretøy har et unikt rammenummer (VIN). Man kan da skrive → fordi det ville være upassende for et kjøretøys motor å ha flere enn én størrelse. (Forutsatt at kjøretøy bare har én motor.) På den andre siden er → feil fordi det kan være mange kjøretøy med samme motorstørrelse.