Adjunk típusspecifikációt, reprezentációs függvényt, típust (ami megfelel a specifikációnak) a következő típusra: a lehetséges értékek:
. A műveletek a következő és az előző 100000 szerinti maradékkal. Az
elemi értékek a decimális számjegyek 
. Mutasd meg, hogy a típus megfelel a típusspecifikációnak!
Készíts el egy olyan típust, ami megfelel a specifikációnak!
Legyen
két típusspecifikáció!
állítás: Minden
típusra: megfelel 
-nek 
megfelel 
-nek.
állítás:
és 
.
Ekvivalens-e a két állítás?
Adott a
típusspecifikáció, továbbá adottak a
,
típusok.
Tegyük fel, hogy 
és 
és
, valamint
feleljen
meg 
-nek!
Igaz-e, hogy
is megfelel 
-nek?
Legyen
egy
típusspecifikáció, 
. Legyen 
és 
, és
, valamint
feleljen
meg 
-nek!
Igaz-e, hogy
is megfelel 
-nek?