مرتب‌سازی



دامنۀ تجزیۀ یکتا
unique factorization domain, UFD

دامنۀ صحیحی که در آن هر عضو ناصفر و نایکه نمایش یکتایی به‌صورت حاصل‌ضرب تعدادی متناهی عضو تحویل‌ناپذیر، قطع‌نظر از ترتیب عوامل ضرب، داشته باشد