(matematica) relazione binaria che gode della proprietà riflessiva, simmetrica e transitiva
operazione logica a due argomenti, corrispondente al connettivo grammaticale «se e solo se», che associa ai valori di verità v (vero), f (falso) di due enunciati un solo valore di verità che risulta essere v se e solo se gli argomenti sono uguali (entrambi v o entrambi f).