Abiteboul–Vianu theorem