Σε ένα επεξεργάσιμο πεδίο, ο τύπος που επαληθεύει ότι οι πληροφορίες που εισάγονται ικανοποιεί τα καθορισμένα κριτήρια.