Teoría matemática do dominio da álxebra abstracta. Permite representar matematicamente a imprecisión relativa a certas clases de obxectos e serve de fundamento á lóxica difusa.