   That is: \(A\) is a set of \(m\) if and only if every ingredient of \(A\) has a common ingredient with (mereologically overlaps) some \(m\), and this \(m\) is part of \(A\). Intuitively, a set of \(m\) is what we would now call a mereological sum, consisting of one or more \(m\), but not necessarily all of the \(m\).