IntersectingQ

WMA link


IntersectingQ[a, b]

gives True if there are any common elements in a and b, or False if a and b are disjoint.

DisjointQ
LevelQ