What's "serialization" really called, and is there any theory surrounding it?

Question

Define an operator $\mathop{\vec{\bigcup}}$ as follows:

Definition. Whenever $A$ is an $I$-indexed family of sets, where $I$ is a totally-ordered set, we have $$\mathop{\vec{\bigcup}}_{i \in I} A_i = \bigcup_{j<i} A_j$$

For example,

$$\mathop{\vec{\bigcup}}_{i \in \mathbb{N}} \{i\} = \{0,\ldots,i-1\}.$$

Convention. For the purposes of this question, lets refer to $\mathop{\vec{\bigcup}}$ as the serialization of the operator $\bigcup$.

We can serialize other operators, too, of course, using the exact same definition as above. For example:

$$\mathop{\vec{\sum}}_{i \in \mathbb{N}} i = \frac{1}{2} i(i-1)$$

And of course, this features in the definition of an infinite sum:

$$\sum_{i \in \mathbb{N}} a_i = \lim_{i \rightarrow \infty} \mathop{\vec{\sum_{i \in \mathbb{N}}}}a_i$$

In this context, the entity $\mathop{\vec{\sum_{i \in \mathbb{N}}}}$ could be referred to as the 'partial sum operator.'

Something quite similar seems to happen in calculus; when we write something like $$\int_5 2x dx = x^2-5^2$$ we're using the ordered structure of the real line, together with our ability to integrate over subsets of the real line, together with a distinguished basepoint, namely $5$, to "serialize" the Riemann integral (or Lebesgue integral, for that matter) with respect to $5$. FTC then tells us that, if certain hypothesize are met, the serialization of the Riemann integral is an inverse to differentiation.

Indeed, backing up a bit, lets define that:

Definition. If $A$ is an $\mathbb{N}$-indexed family of sets, then

$$\mathop{\mathrm{disj}}_{i \in \mathbb{N}}A_i = A_i \setminus \mathop{\vec{\bigcup}}_{i \in I} A_i.$$

This codifies the "disjointification trick" from probability theory and measure theory. Given the connection between differentiation and integration, I guess it makes sense to think of $\mathop{\mathrm{disj}}$ as playing the role of differentiation in the world of boolean algebra. We have a kind of fundamental theorem of calculus, namely:

$$ \mathop{\vec{\bigcup}}_{i \in \mathbb{N}} \mathop{\mathrm{disj}}_{i \in \mathbb{N}} A_i = A_i,$$

and it seems to be the case that $\mathop{\mathrm{disj}}_{i \in \mathbb{N}} A_i$ produces the "smallest" (in the sense of $\subseteq$) sequence making the above formula true; I guess they're order-theoretic adjoints or something.

Questions.

Q0. Is there accepted terminology for what I'm calling "serialization"?

Q1. Is there any existent theory surrounding this concept?

Answer 1

Your concept is similar to (but not exactly the same as) the concept of diagonal union, defined for ordinals $\kappa$ and sets $A_\alpha\subset\kappa$ for $\alpha<\kappa$ as follows:

$$\mathop{\bigtriangledown}_{\alpha<\kappa}A_\alpha\quad=\quad\{\beta<\kappa\mid \beta\in\bigcup_{\alpha<\beta}A_\alpha\}.$$

The dual notion of diagonal intersection is defined by

$$\mathop{\bigtriangleup}_{\alpha<\kappa}A_\alpha\quad=\quad\{\beta<\kappa\mid \beta\in\bigcap_{\alpha<\beta}A_\alpha\}.$$

These operations are used all over set theory, principally because the club filter on an uncountable regular cardinal is closed under diagonal intersection. A normal filter, a basic concept, is one that is closed under diagonal intersection. There is a huge theory developing and surrounding this, which begins in any good set theory text.

Answer 2

I think more care is needed. You could consider serialization as a mapping from $A*I$ to $A*I$, where I am using this notation to denote a kind of power of A, but not a Cartesian product, as order is important. An example of how powerful and confusing it can be is to take A and I both to be a modification of the rational numbers. Do you want the result to look like an infinite dimensional vector space over the rational field, or do you want the result to look like the real numbers as constructed by a Dedekind completion of the rational numbers?

Gerhard "Or Just Operate Infinitely Often?" Paseman, 2017.07.02.