关于关系项与其自身的一类关系性质。它所涉及的问题是：对于集合K中一个确定的关系R来说，集合K中任意一个个体x与其自身是否具有关系R。有三种情况：如果x与其自身都具有关系R(即“xRx”为真)，则称关系R为集合K中的自返关系；如果x与其自身都不具有关系R(即“xRx”为假)，则称关系R为集合K中的反自返关系；如果x与其自身有的具有关系R，有的不具有关系R(即“xRx”有时真，有时假)，则称关系R为集合K中的非自返关系。如：在自然数中，等于关系是自返关系，大于关系、小于关系是反自返关系。在社会生活中，“批评”是非自返的。
关系的传递性(语言)：关于三个或三个以上关系项之间的一类关系性质。它所涉及的问题是：对于集合K中一个确定的关系R来说，集合K中的三个任意个体x、y、z，当x对y具有关系R并且y对z具有关系R时，x对z是否具有关系R。有三种情况：..
关系的对称性(语言)：两个关系项之间的一类关系性质。它所涉及的问题是：对于集合K中一个确定的关系R来说，集合K中的任意两个个体x、y，当x对y具有关系R时，y对x是否具有关系R。有三种情况：如果x对y具有关系R(即“xRy”为真)时，y..
文恩图解(语言)：也译”凡恩图解”。由英国逻辑学家文恩于1880年创造的一种图解方法。文恩图的基本形式是根据需要在一矩形中画一个或若干个都相交叉的曲线形，通常是用两、三个圆圈，如图1所示，文恩图解不同于欧拉图解之处..
前束范式(语言)：一阶谓词演算中公式的一种范式。它是一切量词都非否定地置于公式前方，并且其辖域都延伸至公式末端的公式。如E是一前束范式，则其形式为E=(QX1)(QX2)…(QXn)B。其中的(QX1)(QX2)…(QXn)B称为前束词，B称为基..