Are 'orders' and 'equivalence relation' a mathematical structure by themselves?

Are 'orders' and 'equivalence relation' a mathematical structure by themselves?
Wikipedia says this about a mathematical structure - In mathematics, a structure on a set (or on some sets) refers to providing or endowing it (or them) with certain additional features (e.g. an operation, relation, metric, or topology). Τhe additional features are attached or related to the set (or to the sets), so as to provide it (or them) with some additional meaning or significance. and mentions orders and equivalence relation as one of the mathematical structures - A partial list of possible structures is measures, algebraic structures (groups, fields, etc.), topologies, metric structures (geometries), orders, graphs, events, differential structures, categories, setoids, and equivalence relations. Whereas wikipedia also says - Orders are special binary relations. In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric, and transitive. This is my confusion: Isn't mathematical structure a collection of set(s) and feature(s)? Aren't orders and equivalence relations one of the possible features a mathematical structure could have, and not by themselves a mathematical structure?

Take Your Experience to the Next Level

New

Download our mobile app for a faster and better experience.

Comments

0
U

Join the discussion

Sign in to leave a comment

0:000:00