מוגדר היטב
ויקיפדיה האנציקלופדיה encyclopedia
במתמטיקה, הביטוי מוגדר היטב מתאר את האופן שבו בנויה הגדרה מתמטית – העשויה להיות בנויה כראוי, ולתאר את מה שהיא מתיימרת לתאר, או להיות רק מראית-עין של הגדרה שכתובה על-פי כללי התחביר המתמטיים, אך אינה מגדירה בפועל דבר.
בדרך כלל, הגדרה מתמטית מתייחסת ישירות לעצם המוגדר, ואינה טעונה בדיקה. למשל, "במספרים השלמים, ה'עוקב' של x הוא המספר x+1": מכיוון שבמערכת המספרים השלמים ניתן לחבר, הערך של x+1 מוגדר באופן חד-משמעי. עם זאת, ישנם מצבים שבהם ההגדרה מסתמכת על הנחות סמויות, שאותן יש לוודא על-מנת שההגדרה תהיה תקפה. ישנם כמה מצבים שכיחים, שבהם יש להשקיע מאמץ מסוים כדי להראות שהעצם שאותו רוצים להגדיר אכן מוגדר היטב.