Best examples of cardinality check and associated functions

[Shaozhong SHI]

I wonder whether the Postgres community has got the best examples
of cardinality check and associated functions.

Regards,

David