[see also: name, designate, term, appeal, invoke, require
A set D is called a phase diagram if...... [No comma before if here.]
Call a set a phase diagram if......
The lemma motivates our calling R a generalized Picard group.
This corollary calls for some explanation and comment.
Adding E to both sides of (1), we can call upon (2) to obtain (3).