Nuprl Definition : sub_ps_context
Y ⊆ X == 1(Y) ∈ Y ⟶ X
Definitions occuring in Statement :
pscm-id: 1(X),
psc_map: A ⟶ B,
member: t ∈ T
Definitions occuring in definition :
member: t ∈ T,
psc_map: A ⟶ B,
pscm-id: 1(X)
FDL editor aliases :
sub_ps_context
Latex:
Y \msubseteq{} X == 1(Y) \mmember{} Y {}\mrightarrow{} X
Date html generated:
2018_05_22-PM-10_00_58
Last ObjectModification:
2018_02_20-PM-00_21_26
Theory : presheaf!models!of!type!theory
Home
Index