*Author:* Joslyn, Heylighen, Turchin,

*Date:* AUG 1992

(has): modeling system, modeled system

(refer-to): Rosen, Pattee, Cariani

**Synopsis: **Homomorphism between a modeled system and the modeling system. Let W be the modeled system (an aspect of the world), let R be a representation function, and let M be the modeling system so that

M: W->R, Fa: R->R, and a:W->W, then (R, W, M, a, Fa) is a model if M, a and Fa commute.