Esta definición suele escribirse como