02 Second Order/Closure Conditions/Interval
Interval
Interval names a bounded separation within traversal. Where traversal names movement through a closure scope, interval names the readable between-condition that lets one occurrence, position, or read be distinguished from another without losing the carried relation.
Trace
Read
Interval becomes recognisable where traversal can be read through a bounded between: before and after, here and there, one occurrence and another.