---

Step * of Lemma es-interface-conditional-predicate-equivalent

∀[Info:Type]. ∀es:EO+(Info). ∀[A:Type]. ∀X,Y:EClass(A).  {[X?Y]} ⇐⇒ {X} ∨ {Y}
BY
{ RepUR ``es-interface-predicate predicate_equivalent predicate_or`` 0 }

1
∀[Info:Type]. ∀es:EO+(Info). ∀[A:Type]. ∀X,Y:EClass(A). ∀x:E.  (↑x ∈b [X?Y] ⇐⇒ (↑x ∈b X) ∨ (↑x ∈b Y))

---

Latex:


\mforall{}[Info:Type].  \mforall{}es:EO+(Info).  \mforall{}[A:Type].  \mforall{}X,Y:EClass(A).    \{[X?Y]\}  \mLeftarrow{}{}\mRightarrow{}  \{X\}  \mvee{}  \{Y\}


By

RepUR  ``es-interface-predicate  predicate\_equivalent  predicate\_or``  0

---

Home Index