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