Source: wikibot/downward-entailing

= Downward entailing
{wiki=Downward_entailing}