This image was acquired from
wikimedia. It was marked as Public Domain or CC0 and is free to use. To verify, go to the source and check the information there.
Predicate logic variables ordered partition ea.svg One of the vertices of File Predicate logic variables implications lattice ordered partitions svg own matecode Predicate logic variables single ordered partitions