补充资料：前序

前序
ore-order

　　前序〔衅一优der或Pre一oxdering;uP叭nop卿川，拟序(qUasi一。川er，q~~。欣血g) 集合上的一个自反的、传递的二元关系(b血叮relatlon).如果簇是集合M上的一个前序，那么关系a一b(当且仅当a(b，并且b成a)(a，b‘M)是集合M上的一个等价关系(叫山姐k朗e rehtion).前序簇导出商集M/一上的一个序关系(。川erz℃】a-tion)(亦见序(集合上的)(order(on a set)).
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。