https://mamchenkov.net/wordpress/2010/09/04/on-pseudovariety/
On pseudovariety