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:
