Содержание (FireFox,Safari)
9.2. Отношение проекции-прообраза между ВС
Вариативная ситуация vs⚪ называется (ВС-)проекцией ВС vs◎
vs◎ ⊵ vs⚪ или vs⚪ ⊴ vs◎
а та – её (ВС-)прообразом, если для каждого состояния s⚪ ∈ vs⚪ найдется его прообраз s◎ ∈ vs◎:
Это, в частности, подразумевает, что базис vs⚪ не шире базиса vs◎.
Будем также говорить, что vs⚪ и vs◎ находятся в отношении проекции-прообраза. █