@MISC{YELLOW_4.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur},
  TITLE = {Definitions and Properties of the Join and Meet of Subsets},
  NOTE = {This work was partially supported by
       Office of Naval Research Grant N00014-95-1-1336.},
  SECTION1 = {Preliminaries},
  SECTION2 = {The Join of Subsets},
  SECTION3 = {The Meet of Subsets},
  DAY = {25},
  MONTH = {September},
  YEAR = {1996},
  ADDRESS1 = {Institute of Mathematics\\Warsaw University\\Bia{\l}ystok},
  SUMMARY = {This paper is the continuation of formalization of \cite{CCL}.
The definitions of meet and join of subsets of relational structures
are introduced. The properties of these notions are proved.}}

