f:\Omega\to R