Useful library for sets and relations