Boolean Posets, Posets under Inclusion and Products of Relational Structures 1
Adam Grabowski, Robert Milewski · 1997
Summary. In the paper some notions useful in formalization of [11] are introduced, e.g. the definition of the poset of subsets of a set with inclusion as an ordering relation. Using the theory of many sorted sets authors formulate the definition of product of relational structures. MML Identifier:YELLOW_1. WWW:http://mizar.org/JFM/Vol8/yellow_1.html