由序滤子确定的滤子

Filters Determined by Order Filter

通过格蕴涵代数的序滤子,得到了格蕴涵代数的一类由该序滤子所确定的滤子.首先,研究了该类滤子的性质;其次,并得到了格蕴涵代数的序滤子做成滤子的充分必要条件;最后,研究该类滤子的结构.

By aid of the order filters in lattice implication algebras, filters determined by the order filters of it are obtained. Firstly, the properties of such filters are studied; Secondly, the necessary and sufficient condition under which the order filters of lattice implication algebras qualify as filters is obtained; Finally, the structure of such filter is determined.