Nuprl Definition : sub-system
sub-system(P.M[P];S1;S2) == let Cs,G = S1 in let Cs',G' = S2 in Cs ⊆ Cs' ∧ G ⊆ G'
Definitions occuring in Statement :
pInTransit: pInTransit(P.M[P]),
component: component(P.M[P]),
lg-contains: g1 ⊆ g2,
sublist: L1 ⊆ L2,
and: P ∧ Q,
spread: spread def
FDL editor aliases :
sub-system
Latex:
sub-system(P.M[P];S1;S2) == let Cs,G = S1 in let Cs',G' = S2 in Cs \msubseteq{} Cs' \mwedge{} G \msubseteq{} G'
Date html generated:
2015_07_23-AM-11_19_34
Last ObjectModification:
2012_02_25-PM-03_46_08
Home
Index