I know that the definition of RE class is: $\ RE = \left \{  L \subseteq \Sigma ^{*} | \text{Exists M which accepts L} \right \}$Can someone explain in the same notation the definition of co-RE.
Definition of co-RE class
terminology;computability