BSP法的主要工具是（），它是用来表达（）和（）关系的。