Eraldatud pinnamudeli abil väljendatakse spetsifikatsioonitähist ja tõendustähist, arvestades lõpliku arvu punktidega, olles mitteideaalsete tunnustega elemendiks.
The discrete surface model is used to express the specification operator and the verification operator considering a finite number of points, and is a non-ideal feature.
