well-defined

Independent of choice of representatives.

Categories: