some people may go too far in defining envy to the point that they call envious people who only hate good for those who have suffered some harm or hardship from them. none of these should be called envious but rather the envious person should be called in general the one who is grieved by the good that others receive even though it does not harm him at all. the one who is deeply envious is called the one who is grieved by the good that others receive even if it benefits him in some way. but when hardship and harm come they create enmity in the soul to the extent of their harm not envy. and the like of this is from
وقد يغلط بعض الناس في حد الحسد حتى إنهم يسمون بالحسد قوما إنما يكرهون الخير لمن عليهم منهم في إصابتهم ذلك بعض المضار والمؤن. وليس ينبغي أن يسمى ولا واحد من هؤلاء حاسدا، بل ينبغي أن يسمى الحاسد مطلقا من اغتم من خير يناله غيره من حيث لا مضرة عليه منه البتة، ويسمى بليغ الحسد من اغتم من خير يناله غيره وإن كان له في ذلك نفع ما. فأما إذا جاءت المؤن والمضار فإنها تحدث في النفس عداوة بمقدارها لا حسدا. ومثل هذا من