این نوع ایزومری در مولکول‌های کایرال وجود دارد. اگر دو ترکیب از هر لحاظ با هم مشابه باشند بر یکدیگر منطبق می‌شوند درحالی‌که 
گزینه‌ها:
یک مولکول کایرال ممکن است دارای یک ایزومر فضایی باشد که بر تصویر آینه‌ای‌اش منطبق نیست (انانتیومر).
هیچ دو NFT با یکدیگر مشابه نیستند.
اگر متغیر T مقید نشده (Unbound) باشه،  ارلنگ می‌بینه اتم celsius با اتم kelvin در مقایسه یکی نیست.
برعکس این قضیه هم صادق است.
جملهٔ کامل: این نوع ایزومری در مولکول‌های کایرال وجود دارد. اگر دو ترکیب از هر لحاظ با هم مشابه باشند بر یکدیگر منطبق می‌شوند درحالی‌که یک مولکول کایرال ممکن است دارای یک ایزومر فضایی باشد که بر تصویر آینه‌ای‌اش منطبق نیست (انانتیومر).