loomuliku semantika abstraktsusastmega semantiline funktsioon, mis kujutab endast homomorfismi süntaktilisest algebrast semantilisse algebrasse