(1) Model, ktorý akceptuje rovnaké vstupy a produkuje rovnaké výstupy ako daný system.~(2) proces vzniku alebo použitím modelu ako v (1).