hasSizeLessThan :: NominalType a => Set a -> Int -> Formula Source

Returns a formula describing condition that a set has a size less than a given number. It is an inefficient function for large sets and will not return the answer for the infinite sets.