EDB — 0G3

Exercises

1. [0G3]Extend the previous [0G0]↺↻, replacing \(ℕ\) with a set of indexes \(J\) endowed with filtering ordering \(≤\).