查询词典 reflexive relation

If there is not reflexive dependent relation among the head literals of the all k free clauses occurred in the program, then the k—th limit is its supported model.

如果G中含k个自由子句，并且这k个子句头中出现的文字不含自反依赖关系，则它的k次极限就是其支持模型。

Based on English definition of the six properties which a relation R defined on a set A and utilizing the logical characteristic of implications, two aspects of ordered-pair and the matrix MR are considered, and the properties of the R is analyzed one by one. A few useful conclusions are summarized as determining the properey of the R. The following collections are also analyzed between reflexive and irreflexive, symmetric and antisymmetric, symmetric and asymmetric and among irreflexive, antisymmetric and asymmetric.

根据定义在一个集合A上的关系R的六个性质的英文定义，利用蕴含式的逻辑特点，从有序对和关系R的矩阵M两个角度对每个性质逐一进行分析，得出在判定关系R的性质时可用的结论，并且分析了自反性与非自反性之间、对称性与反对称性之间、对称性与非对称性之间、非自反性和反对称性以及非对称性之间的联系。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。