Trefnolyn

Cyfeiria'r erthygl isod at y cysyniad o rif trefnol mewn mathemateg bur. Ar gyfer y geiriau am drefnolion mewn gwahanol ieithoedd, gw. Trefnol (ieithyddiaeth).

Mewn damcaniaeth setiau, math penodol o rhif yw trefnolyn (hefyd rhif trefnol neu drefnolyn traws-feidraidd). Fe'u cyflwynwyd gyntaf ym 1897 gan Georg Cantor. Maent yn estyniad o'r rhifau naturiol sy'n wahanol i'r cyfanrifau a'r rhifolion.

Llwyr-drefniad gydag anwythiad traws-feidraidd yw iawn-drefniad. Gallem feddwl am drefnolion fel dosbarthiadau cyfwerthedd o setiau wedi eu llwyr-drefnu, lle mai isomorffedd trefn yw'r perthynas cyfwerthedd. Cymerwn mai set y trefnolion sy'n llai nag ef yw pob trefnolyn. Gallwn ddosbarthu trefnolion yn sero, trefnolion olynyddion, a threfnolion terfannau. Gellir diffinio adio, lluosi ac esbonyddu trefnolion. Gellir mynegi unrhyw drefnolyn mewn ffurf safonol Cantor. Mae sawl trefnolyn i bob rhifolyn anfeidraidd. Mae yna dopoleg naturiol ar y trefnolion.