Our intuition is that type-based expansion introduces semantically related concepts that elevate the score of topically relevant documents.
this being said, it is important to highlight that some objects such as 'Number", "Matrix" and "Set" are considered basic and are never explicitly defined by mathematicians (Ganesalingam, 2008).