Es decir, si los únicos conjuntos invariantes son o todo el espacio (trivialmente) o conjuntos de medida nula (es decir, conjuntos neglibles probabilísticamente).