Graph(S) == {i:Id| (i 
S)} 
({i:Id| (i S)} List)
Definitions :
function: x:A B[x],
list: type List,
set: {x:A| B[x]} ,
l_member: (x l),
Id: Id
FDL editor aliases :
id-graph
Graph(S) == \{i:Id| (i \mmember{} S)\} {}\mrightarrow{} (\{i:Id| (i \mmember{} S)\} List)
Date html generated:
2010_08_26-PM-11_39_00
Last ObjectModification:
2008_02_27-PM-09_33_21
Home
Index