Freepik

Completeness postulate PSD