Bu işlevle, bir veritabanında depolanan e-posta adreslerinin, formel doğruluğu açısından kontrol edilebilir. Bir e-posta adresi yanlış olarak algılanırsa, bu e-posta adresi mevcut olamaz. Eğer bu doğru olarak algılanırsa, bu e-posta adresi mevcut olabilir. Ancak bu e-posta adresi'ın şu anda atanmamış olması durumu da olabilir.