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
NewDownload our mobile app for a faster and better experience.
Comments
0U
Join the discussion
Sign in to leave a comment