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: 2016_05_17-AM-11_03_31
Last ObjectModification: 2012_02_25-PM-03_46_08

Theory : process-model


Home Index