Jakarta equivalence relateion