אי⁻שוויון הוא שם משותף לשני סוגי טענות במתמטיקה. הטענה הראשונה היא ששני ערכים a ו⁻b שונים זה מזה, שאותה מסמנים \ a\neq b. הטענה השנייה היא שאחד מן הערכים גדול מהשני, שאותה מסמנים \ a a, טענה זו נקראת אי⁻שוויון חזק. הטענה שאחד הערכים גדול או שווה לשני, שאותה מסמנים \,a\leq b או \,b\geq a, נקראת אי⁻שוויון חלש. מתוך ויקיפדיה