The mathematical denotation denoted by a closed system S is constructed from an initial behavior ⊥S and a behavior-approximating function progressionS.
Denotarea matematică pentru un sistem închis S este construită pentru un comportament inițial ⊥S și o funcție comportamentală de aproximare progressionS.