Given an arbitrary binary relation R ⊆ S x S and an arbitrary property P, the P closure of R is the smallest relation Q ⊆ S x S that contains R. ie., R ⊆ Q.

« Back to Glossary IndexGiven an arbitrary binary relation R ⊆ S x S and an arbitrary property P, the P closure of R is the smallest relation Q ⊆ S x S that contains R. ie., R ⊆ Q.

« Back to Glossary Index