Utsagnene «Kari er ett år yngre enn Ola» og «Kari er sju år» inneholder ikke redundans. Utsagnene «Kari er ett år yngre enn Ola», «Kari er sju år» og «Ola er åtte år» inneholder redundans, fordi en av setningene kan fjernes uten at noe informasjon om Karis og Olas alder forsvinner.