https://whytopa.blogspot.com/2023/07/why-is-empty-set-not-vector-space.html