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:
2019_06_20-PM-01_12_40
Last ObjectModification:
2019_01_02-PM-01_35_57
Theory : co-recursion-2
Home
Index