Кожний вхід системи є деяка функція виду ( - дійсна лінія): Майбутні стани системи визначаються посередництвом функції переходу станів: Функції та є неперервними відносно топологій, визначених на та й індукованих топологій добутку.