Nuprl Definition : k-ext
A ≡ B == A ⊆ B ∧ B ⊆ A
Definitions occuring in Statement :
k-subtype: A ⊆ B,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
k-subtype: A ⊆ B
FDL editor aliases :
k-ext
Latex:
A \mequiv{} B == A \msubseteq{} B \mwedge{} B \msubseteq{} A
Date html generated:
2018_05_21-PM-00_08_52
Last ObjectModification:
2017_10_09-PM-06_23_50
Theory : co-recursion
Home
Index