در علم ریاضیات یک عبارت خوش تعریف است اگر بدون ابهام باشد و اشیای آن مستقل از نمایش شان باشند. به عبارت دیگر، بدین معنی است که یک عبارت ریاضی منطقی و معین باشد.
Contemporary Abstract Algebra, Joseph A. Gallian, 6th Edition, Houghlin Mifflin, 2006, ISBN 0-618-51471-6.
به زبان ساده تر یک تابع خوش تعریف است اگر شکل ورودی تغییر کرد (نه مقدار آن)، مثلاً به جای ۰٫۵ مقدار۲÷۱ یا (۱/۲) دادیم مقدار خروجی تغییری نکند.
واژه برابر پارسی از «واکرانیدن» (تعریف کردن) = خوش کران
خوش تعریفی تابع در این جا یعنی هر ورودی فقط یک خروجی داشتن، یعنی تابع بودن.اصطلاحاً وقتی می گوییم تابع خوش تعریف است یعنی تابع است.اما دلیل اینکه صفت خوش تعریفی را می آوریم این است که گاهی رابطه (قانون) ظاهرش نشان می دهد که قانون یک تابع است اما وقتی به دقت ان را بررسی می کنیم می فهمیم که تابع نیست.در این موارد می گویند تابع خوش تعریف نیست
Contemporary Abstract Algebra, Joseph A. Gallian, 6th Edition, Houghlin Mifflin, 2006, ISBN 0-618-51471-6.
به زبان ساده تر یک تابع خوش تعریف است اگر شکل ورودی تغییر کرد (نه مقدار آن)، مثلاً به جای ۰٫۵ مقدار۲÷۱ یا (۱/۲) دادیم مقدار خروجی تغییری نکند.
واژه برابر پارسی از «واکرانیدن» (تعریف کردن) = خوش کران
خوش تعریفی تابع در این جا یعنی هر ورودی فقط یک خروجی داشتن، یعنی تابع بودن.اصطلاحاً وقتی می گوییم تابع خوش تعریف است یعنی تابع است.اما دلیل اینکه صفت خوش تعریفی را می آوریم این است که گاهی رابطه (قانون) ظاهرش نشان می دهد که قانون یک تابع است اما وقتی به دقت ان را بررسی می کنیم می فهمیم که تابع نیست.در این موارد می گویند تابع خوش تعریف نیست
wiki: خوش تعریف