👉 Unspanning is a concept in mathematical logic and computer science that refers to a property of an object or set, where it does not contain any other objects that are "separating" from it. In simpler terms, if you have two sets A and B, then A ∩ B = φ (φ meaning "empty") means that A and B are disjoint (meaning they do not intersect).