Differences
This shows you the differences between two versions of the page.
reflexive_relations [2010/07/29 15:46] 127.0.0.1 external edit |
reflexive_relations [2012/06/16 21:54] (current) jipsen |
||
---|---|---|---|
Line 9: | Line 9: | ||
reflexive: $xRx$ | reflexive: $xRx$ | ||
- | |||
- | Remark: This is a template. | ||
- | If you know something about this class, click on the ``Edit text of this page'' link at the bottom and fill out this page. | ||
- | |||
- | It is not unusual to give several (equivalent) definitions. Ideally, one of the definitions would give an irredundant axiomatization that does not refer to other classes. | ||
==Morphisms== | ==Morphisms== | ||
Line 30: | Line 25: | ||
Feel free to add or delete properties from this list. The list below may contain properties that are not relevant to the class that is being described. | Feel free to add or delete properties from this list. The list below may contain properties that are not relevant to the class that is being described. | ||
- | ^[[Classtype]] |quasivariety | | + | ^[[Classtype]] |variety | |
- | ^[[Quasiequational theory]] | | | + | ^[[Equational theory]] |decidable | |
^[[First-order theory]] | | | ^[[First-order theory]] | | | ||
^[[Locally finite]] |yes | | ^[[Locally finite]] |yes | | ||
Line 68: | Line 63: | ||
====Superclasses==== | ====Superclasses==== | ||
- | [[Directed graphs]] supervariety | + | [[Directed graphs]] supervariety |
Trace: