Importance of precise definitions in mathematics