punctuation - Colon between "that is" and formal definition

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?