x1 is a mathematical set/structure/space/object (use appropriate gadri) such that its (set-/structure-/space-/object-theoretic) complement (in space x3) has property x2 (ka) in space x3
Can express notions of "cocountability", "cofiniteness", "comeagreness", etc. Do not use for "covector", "cosine", "coordinate", etc.- the prefix "co-" has several meanings in mathematical jargon.