A Notion of Positive Definiteness for Arithmetical Functions