Is it appropriate to use "that is" followed by a colon when defining something formally? I have the following example:
Let γ be the set of groups that hold variables accessed by C, that is:
γ = {g : ∃v accessed by C, such that v ∈ g}.
Would that be appropriate in terms of punctuation and style?