The union of both components' causal dots.
For CRDTs that carry per-op Dots (e.g. Rga), the product exposes the full delivered set: the union of A's dots and B's dots. CRDTs that return the default empty set (e.g. GCounter) contribute nothing — the union stays empty.