Member predicate Element::Element::contains

Holds if this element transitively contains the specified element e.

predicate contains(Element e)