Nuprl Definition : transitive-reflexive-closure
R^* == λx,y. ((x = y ∈ A) ∨ (TC(R) x y))
Definitions occuring in Statement :
transitive-closure: TC(R),
or: P ∨ Q,
apply: f a,
lambda: λx.A[x],
equal: s = t ∈ T
Definitions occuring in definition :
transitive-closure: TC(R),
apply: f a,
equal: s = t ∈ T,
or: P ∨ Q,
lambda: λx.A[x]
FDL editor aliases :
transitive-reflexive-closure
Latex:
R\^{}* == \mlambda{}x,y. ((x = y) \mvee{} (TC(R) x y))
Date html generated:
2017_01_19-PM-02_17_36
Last ObjectModification:
2017_01_14-PM-04_21_13
Theory : relations2
Home
Index