On reflection, one observes that these processes are not completely trivial since they preserve the structure of their semantic partitions. In fact, each sign process preserves the entire topology ("family of sets closed under finite intersections and arbitrary unions") generated by its semantic equivalence classes. These topologies, Top(A) and Top(B), can be viewed as partially ordered sets, Pos(A) and Pos(B), by taking the inclusion ordering (c) as (<). For each of the interpreters A and B, as things stand in their respective orderings Pos(A) and Pos(B), the semantic equivalence classes of "A" and "B" are situated as intermediate elements that are incomparable to each other. | On reflection, one observes that these processes are not completely trivial since they preserve the structure of their semantic partitions. In fact, each sign process preserves the entire topology ("family of sets closed under finite intersections and arbitrary unions") generated by its semantic equivalence classes. These topologies, Top(A) and Top(B), can be viewed as partially ordered sets, Pos(A) and Pos(B), by taking the inclusion ordering (c) as (<). For each of the interpreters A and B, as things stand in their respective orderings Pos(A) and Pos(B), the semantic equivalence classes of "A" and "B" are situated as intermediate elements that are incomparable to each other. |