λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript En02-A@1 · En02-A-v1.tex · definition · bb1319d5

Definition: Potential reachability

Cut monotones and decreasing potential reachability · lines 847–857

Back to manuscript

R (g) = Reach (E_{act} \cup {both orientations of every latent link}),

including reflexive pairs and forgetting identifiers only when forming reachability.

Displayed formulas in this passage

unlabeled · line 848
$R (g) = Reach (E_{act} \cup {both orientations of every latent link}),$

Nearby in this section