http://www.w3.org/ns/prov#value | - I always thought (1) was very nice and intuitive, after all, it says an equivalence relation is a relation that behaves like =, which for undergrads is a nice introduction to the idea that one might care about other kinds of similarity than equality.
|