   That is: Object \(B\) is an ingredient of object \(A\) if and only if either \(B\) is \(A\) or \(B\) is part of \(A\). Nowadays the term ‘ingredient’ is often simply rendered as ‘part’ and Leśniewski’s ‘part’ is called ‘proper part’.