空[]=_.true[]=[_].false[[]]=[[]|[]].true|membermember([],[]).false_member([],_).truemember(_,[]).falsecombine3([],[],_).combine3([],[],[laozi]).[]=_.true从用途讲。没有东西，空无可以用空表表示。但空表不是无。[]=[_].false从属性讲