Nuprl Definition : ext-eq
A ≡ B == (A ⊆r B) ∧ (B ⊆r A)
Definitions occuring in Statement :
subtype_rel: A ⊆r B,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
subtype_rel: A ⊆r B
FDL editor aliases :
ext-eq
Latex:
A \mequiv{} B == (A \msubseteq{}r B) \mwedge{} (B \msubseteq{}r A)
Date html generated:
2016_05_13-PM-03_19_03
Last ObjectModification:
2016_01_04-AM-10_27_09
Theory : subtype_0
Home
Index