has member is a mereological relation between a collection and an item.
Irreflexive
SIO
axiom holds for all times
member of
has partbfo