s.f.
1. l'essere equivalente
2. (mat.) relazione binaria che gode della proprietà riflessiva, simmetrica e transitiva
3. 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).