  bool operator>(const Nef_polyhedron_2<T,Items,Mark>& N1) const
  { return N1.difference(*this).is_empty() && !difference(N1).is_empty(); }
  bool operator>(const Nef_polyhedron_2<T,Items,Mark>& N1) const
  { return N1.difference(*this).is_empty() && !difference(N1).is_empty(); }