Définitionséquivalente