Added definitions for positive (semi)definiteness