DGI Image Discovery Discovered Image Content type Digital Document Semidistributive lattices, meet-semilattices, and congruence heredity. Origin Information