Stała równowagi opisująca ten proces wyraża się równaniem:
jest nazywana iloczynem rozpuszczalności substancji Ax By i oznaczana symbolem
KSO(AxBy). Jeżeli w roztworze iloczyn stężeń jonów, na które dysocjuje dana substancja,
w potęgach odpowiadających współczynnikom stechiometrycznym z równania dysocjacji
jonowej tej substancji przekracza wartość iloczynu rozpuszczalności, to w roztworze takim
obserwujemy wytrącanie się osadu trudno rozpuszczalnej soli. Iloczyn rozpuszczalności
fluorku wapnia w wodzie wynosi KSO(CaF2) = 3,16 ⋅ 10–11 .
Na podstawie: A. Bielański, Podstawy chemii nieorganicznej, t. 2, Warszawa 2002, str. 354–355, 560–561.