We can also define: