definable relation is ready