前順序
preorder。proset。擬順序 (quasiorder)
$ Pを臺集合として二項關係との組$ (P,\le_{\subseteq P\times P})は以下を滿たすならば前順序である 推移律$ x\le y\le z\to x\le z 前順序は、二つの對象を持ち恆等射でないただ一つの射を持つ圈$ 2:=\lbrace{\rm FALSE},{\rm TRUE}\rbraceで豐饒化された圈と考えることができる。ただし、その唯一の射を$ {\rm FALSE}\to{\rm TRUE}とし、ブール値の連言をモノイド演算、$ \rm TRUEをモノイド單位とする。すると射對象$ 2(a,b)は與へられた對象の順序對$ (a,b)上の特定の二項關係を單に拒否するか受容するかを意味するもので、この關係を表すより馴染みのある記法としては、これを$ a\le bと書くことができる。この$ 2で豐饒化された圈に對する合成と恆等射の存在は、それぞれ推移律 ($ a\le bかつ$ b\le c$ \implies a\le c) および反射律 ($ {\rm TRUE}\implies a\le a) といふ公理（これらはつまり$ \leが前順序となることを意味する公理である）に直ちに飜譯することができる。圈$ 2における任意の圖式は可換となるから、これは$ 2で豊饒化された圈に對する豐饒圈の公理として唯一內容を持つものである。