خوش‌تعریف

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

در علم ریاضیات یک عبارت خوش‌تعریف (به انگلیسی: Well defined) است اگر بدون ابهام باشد و اشیای آن مستقل از نمایش‌شان باشند. به عبارت دیگر، بدین معنی است که یک عبارت ریاضی منطقی و معین باشد.

به زبان ساده‌تر یک تابع خوش‌تعریف است اگر شکل ورودی تغییر کرد (نه مقدار آن)، مثلاً به جای ۰٫۵ مقدار۲÷۱ یا (۱/۲) دادیم مقدار خروجی تغییری نکند.


منابع[ویرایش]

  • Contemporary Abstract Algebra, Joseph A. Gallian, 6th Edition, Houghlin Mifflin, 2006, ISBN 0-618-51471-6.
  • مشارکت‌کنندگان ویکی‌پدیا، «Well defined»، ویکی‌پدیای انگلیسی، دانشنامهٔ آزاد (بازیابی در ۱۶ آذر ۱۳۹۲).