Nuprl Definition : id-graph-edge

(i⟶j)∈G ==  (j ∈ G i)


Definitions occuring in Statement :  Id: Id,  l_member: (x ∈ l),  apply: f a
Definitions occuring in definition :  l_member: (x ∈ l),  apply: f a,  Id: Id
FDL editor aliases :  id-graph-edge
Latex:
(i{}\mrightarrow{}j)\mmember{}G  ==    (j  \mmember{}  G  i)


Date html generated: 2016_05_14-PM-03_37_41
Last ObjectModification: 2015_09_22-PM-06_01_43

Theory : decidable!equality


Home Index