A concise formulation would be: