'''דוגמא.'''
האם הפונקציה f על הרציונאליים המוגדרת על ידי <math>f(\frac{p}{q})=p</math> מוגדרת היטב?
'''פתרון.'''
יש לשים לב שלא באמת הגדרנו את הפונקציה על הרציונאליים, אלא על אוסף הזוגות הסדורים של שלמים <math>(p,q)</math> כך שהאיבר הימני שונה מאפס. נגדיר על קבוצה זו את יחס השקילויות R המוגדר על ידי <math>((p,q),(a,b))\in R</math> אם <math>pb=qa</math>. נראה כי f אינה מוגדרת היטב בתנאים אלו:
<math>((2,6),(1,3))\in R</math> אולם <math>f(2,6)=(2,1),f(1,3)=(1,1)</math> ו<math>((2,1),(1,1))\notin R</math>.
בכוונה ניסחנו את התרגיל באופן הרומז על יחס השקילויות מבלי לומר אותו במפורש. זו הדרך בה נתקל במושג 'מוגדר היטב' במהלך התואר - יחס השקילויות יהיה מרומז בלבד.