DisjointQ

DisjointQ[list1, list2] yields True if list1 and list2 do not share any common elements, and False otherwise.

Examples

Test disjoint lists:

DisjointQ[{1, 2, 3}, {4, 5, 6}]
(* True *)

Lists with common elements:

DisjointQ[{1, 2, 3}, {3, 4, 5}]
(* False *)

Please visit the official Wolfram Language Reference for more details.