The key point is that morphology features can be mapped to equivalent math operations. So we can build from there to formally determine whether a given object can be alive or not.