Замыканием отношения относительно свойства называется такое множество , что: 1.
* . 2.
* обладает свойством . 3.
* является подмножеством любого другого отношения, содержащего и обладающего свойством .
Замыканием отношения относительно свойства называется такое множество , что: 1.
* . 2.
* обладает свойством . 3.
* является подмножеством любого другого отношения, содержащего и обладающего свойством .