  We investigate models of relations over a bounded continuous segment of real
numbers, along with the natural linear order over the reals being provided as a
"hard-coded" relation. This paper presents a generalization of a lemma from
[Ben-Eliezer, Fischer, Levi and Yoshida, ITCS 2021], showing that with a small
amount of modification (measured in terms of the Lebesgue measure) we can
replace such a model with a "pixelated" one that has a finite description, in a
way that preserves all universally quantified statements over the relations, or
in other words, without adding any new substructures.
