elem_equal function

Are two elements equivalent?