notClosedUnder

P27186 predicate

Indicates that applying the operation or relation to elements of a set can produce results that do not belong to that set, so the set is not closed under that operation or relation.


Sample triples (2)

Subject Object
Gaussian integers division
Noetherian module arbitrary direct sums