Also known as majoring element, majorant, UB
any element M of a partially ordered set A which includes a subset B, such that M is greater than or equal to every element of B
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).