A formal definition is a convenient, handy fiction. It's very useful but it only works within the rules it works with. It is not reality but a sketch of it.