Assertion: real number's part | /r/HasProperty | definite
Facets:
Source sentences:
text: ( ) is real when is positive and real The Hermitian part (Z(s) + Z†(s))/2 of Z(s) is positive semi-definite when Re[s] ≥ 0