در ریاضیات، دو عدد صحیح را متباین یا هماول یا نسبت به هم اول می گویند، چنانچه بزرگترین مقسوم علیه مشترک این دو عدد برابر یک باشد، یا به عبارتی هیچ مقسوم علیه مشترکی جز یک نداشته باشند. هم اول بودن دو عدد مانند a و b را به صورت a ⊥ b {\displaystyle a\bot b} نمایش می دهند.
هرگاه a و b نسبت به هم اول باشند و k عددی صحیح باشد بینهایت عدد اول به صورت ak+b داریم.
دو عدد متوالی همواره نسبت به هم متباین اند.
۲ و توان های ۲ همواره نسبت به اعداد فرد اولند.
به طور مثال دو عدد ۶ و ۳۵ نسبت به هم اول هستند چرا که هر دو به طور مشترک تنها بر ۱ بخش پذیر هستند، ولی ۶ و ۲۷ هم اول نیستند زیرا هر دو بر ۳ بخش پذیر هستند. اعداد ۱ و ۱- تنها اعدادی هستند که با هر عدد صحیح دیگر هم اول هستند همچنین تنها اعدادی هستند که با عدد صفر هم اول هستند. یک روش سریع برای دانستن اینکه آیا دو عدد نسبت به هم هم اول هستند یا نه استفاده از الگوریتم اقلیدس است.
قضایای مربوط به اعداد متباین یا اعداد هم اول: