论文信息 - Lattice of Substitutions

Lattice of Substitutions

A b s t r a c t. A lattice whose elements are sets of substitutions is defined in this paper. We prove that the lattice is distributive and it has the upper and lower bound.

Adam Grabowski

[1] Andrzej Trybulec. Algebra of Normal Forms , 1991 .

[2] Edmund Woronowicz. Relations Defined on Sets , 1990 .

[3] A. Trybulec. Domains and Their Cartesian Products , 1990 .

[4] A. Zalewska,et al. Properties of Binary Relations , 1990 .

[5] A. Trybulec. Tarski Grothendieck Set Theory , 1990 .

[6] S. Zukowski. Introduction to Lattice Theory , 1990 .

[7] Zinaida Trybulec,et al. Boolean Properties of Sets , 1990 .

[8] Edmund Woronowicz,et al. Relations Deened on Sets , 1989 .

[9] Czesław Bylí,et al. Binary Operations , 2019, Problem Solving in Mathematics and Beyond.

[10] B. Balkay,et al. Introduction to lattice theory , 1965 .