In this algebra, predicates are divided into three kinds catering for description of spatial operations.

• 在此代数中，将谓词划分为3类：原子谓词、特征谓词和空间谓词，以适应目标的空间运算描述；