Product type equivalence relations are hyperfinite measured equivalence relations, which, up to orbit equivalence, are generated by product type odometer actions. We give a concrete example of a hyperfinite equivalence relation of non-product type, which is the tail equivalence on a Bratteli diagram. In order to show that the equivalence relation constructed is not of product type we will use a criterion called property A. This property, introduced by Krieger for non-singular transformations, is defined directly for hyperfinite equivalence relations in this paper.

If $A$ is a prime C$^*$-algebra, $a \in A$ and $\lambda$ is in the numerical range $W(a)$ of $a$, then for each $\varepsilon > 0$ there exists an element $h \in A$ such that $\norm{h} = 1$ and $\norm{h^* (a-\lambda)h} < \varepsilon$. If $\lambda$ is an extreme point of $W(a)$, the same conclusion holds without the assumption that $A$ is prime. Given any element $a$ in a von Neumann algebra (or in a general C$^*$-algebra) $A$, all normal elements in the weak* closure (the norm closure, respectively) of the C$^*$-convex hull of $a$ are characterized.