property of many logical systems that if a sentence follows deductively from a given set of sentences then it also follows deductively from any superset of those sentences
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).