I am wondering, from a formalized mathematical standpoint, if it makes sense to say A and B if B is a subset of A.
For example, machine learning and AI is a common expression in the software industry. AI here refers specifically to Deep Learning (in contrast to classical machine learning approaches).
But it is well-established that deep learning is a subset of machine learning, which is in turn a subset of the over-arching field of AI.
...which would suggest that it does not makes sense to use the word "and" to compare Machine Learning to AI. In other words, the word "and" suggests machine learning and AI (deep learning) are different things, but they are not, as Deep Learning is a subset of Machine Learning, which is a subset of AI.
