Safe Haskell | None |
---|
Language.Paraiso.PiSystem
Description
In mathematics, a pi-system is a non-empty family of sets that is closed under finite intersections.
Documentation
Methods
an empty set.
is this an empty set?
intersection :: a -> a -> aSource
intersection of two sets.