Definition (Union-closed). Let A be a (finite) family of sets. Say that A is union closed if for any A,BA, we have ABA.