closure under

URI: https://gptkb.org/prop/closure_under
3 triples
GPTKB property
Random triples
Subject Object
gptkb:Hermitian_matrices scalar multiplication (by real numbers)
gptkb:Hermitian_matrices addition
gptkb:Hermitian_matrices matrix multiplication (if matrices commute)