Definition of "disjoins"