egdef