Definitsioon: reeglite kogum, mis kujutab ühe hulga elemendid teise hulga elementideks
Mõiste: liiaskood
Ülemmõiste: süsteem