Symmetric matrix
Set
context
$X$
context
$n\in\mathbb N$
definiendum
$ A \in \mathrm{SymmetricMatrix}(n,X) $
postulate
$ A^\mathrm{T}=A $
Discussion
Reference
Wikipedia:
Symmetric matrix
Parents
Subset of
Matrix
Context
Matrix transpose