Formal Description Of Data Structure For Infinite Sets Of Reals The paper I'm working on uses sets as implemented in https://docs.sympy.org/latest/modules/sets.html. A set is stored in a data structure as a sequence of intervals with open or closed bounds, so it can represent uncountable and infinite sets. What prior work can I reference for this data structure?
I'm not sure you need to reference any prior work; it's a basic enough approach.  You can just say that you represent a set as a union of intervals.  If you were inspired by Sympy, you could cite Sympy and that page.