Nuprl Definition : p_equiv
A ≡{T} B == A ⊆{T} B ∧ B ⊆{T} A
Definitions occuring in Statement :
p_subset: A ⊆{T} B,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
p_subset: A ⊆{T} B
Latex:
A \mequiv{}\{T\} B == A \msubseteq{}\{T\} B \mwedge{} B \msubseteq{}\{T\} A
Date html generated:
2016_05_15-PM-00_00_17
Last ObjectModification:
2015_09_23-AM-06_23_35
Theory : gen_algebra_1
Home
Index