Nuprl Definition : rel-connected
x──R⟶y ==  x (R^*) y
Definitions occuring in Statement : 
rel_star: R^*
, 
infix_ap: x f y
Definitions occuring in definition : 
infix_ap: x f y
, 
rel_star: R^*
FDL editor aliases : 
rel-connected
Latex:
x{}{}R{}\mrightarrow{}y  ==    x  rel\_star(T;  R)  y
Date html generated:
2016_05_13-PM-04_19_16
Last ObjectModification:
2015_09_22-PM-05_46_46
Theory : relations
Home
Index