V prísne matematickom zmysle rovnosť medzi rôznymi premennými, ktorá vyjadruje podmienku, ktoré majú tieto premenné spĺňať. V tomto zmysle sa vo filozofii nepoužíva.