Nuprl Definition : component
component(P.M[P]) == Id × Process(P.M[P])
Definitions occuring in Statement :
Process: Process(P.M[P]),
Id: Id,
product: x:A × B[x]
FDL editor aliases :
component
Latex:
component(P.M[P]) == Id \mtimes{} Process(P.M[P])
Date html generated:
2015_07_23-AM-11_07_43
Last ObjectModification:
2012_02_25-PM-03_38_21
Home
Index