Definition of Erastians