relations and functions revision