x1 (mass/group/set) is the (primary) out-group counterpart to in-group x2 (mass/group/set) with respect to characteristic x3 (ka; truth/proposition), which is possessed/satisfied by x2, where both x1 and x2 are nonempty, strict, mutually disjoint subdivisions of supergroup/superset x4 (mass/group/set), with the othering performed (mentally; not necessarily in a way externally manifested) according to the psyche of x5; x5 others x1 from x2 around focal issue/property x3
x1 and x2 are not indistinguishable from each other, they do not seem to share all their properties (disregarding location and identity), as perceived by observer x3