InitialSystem(P.M[P]) == {S:System(P.M[P])| std-initial(S)}
Definitions :
set: {x:A| B[x]} ,
System: System(P.M[P]),
std-initial: std-initial(S)
FDL editor aliases :
InitialSystem
InitialSystem(P.M[P]) == \{S:System(P.M[P])| std-initial(S)\}
Date html generated:
2010_08_27-PM-06_42_51
Last ObjectModification:
2010_05_03-PM-08_21_36
Home
Index