אתיקה, חלק III, משפט 36

Everything, which a man has seen in conjunction with the object of his love, will be to him accidentally a cause of pleasure (III. xv.); he will, therefore, desire to possess it, in conjunction with that wherein he has taken delight; in other words, he will desire to possess the object of his love under the same circumstances as when he first took delight therein. Q.E.D.

A lover will, therefore, feel pain if one of the aforesaid attendant circumstances be missing.

For, in so far as he finds some circumstance to be missing, he conceives something which excludes its existence. As he is assumed to be desirous for love's sake of that thing or circumstance (by the last Prop.), he will, in so far as he conceives it to be missing, feel pain (III. xix.). Q.E.D.

This pain, in so far as it has reference to the absence of the object of love, is called Regret.