设AB是非空集合定义