closedUnder

P19426 predicate

Indicates that applying a specified operation to elements within a set always produces a result that is also an element of that same set.


Sample triples (15)

Subject Object
Abelian groups
surface form: "Abelian group"
finite sums of elements
Abelian groups
surface form: "Abelian group"
taking inverses
Gaussian integers addition
Gaussian integers multiplication
Gaussian integers subtraction
Noetherian module finite direct sums
Noetherian module taking quotients
Noetherian module taking submodules
Riemann integral addition of integrable functions
Riemann integral scalar multiplication of integrable functions
Telesterion at Eleusis Christian emperors of the Roman Empire
von Neumann algebras
surface form: "von Neumann algebra"
addition
von Neumann algebras
surface form: "von Neumann algebra"
adjoint operation
von Neumann algebras
surface form: "von Neumann algebra"
operator multiplication
von Neumann algebras
surface form: "von Neumann algebra"
scalar multiplication