Orðaskrá

enskaíslenskaí vinnslu

Setjið inn leitarorð eða tilgreinið leitarskilyrði með reglulegri segð.

ordering, n.

1. röðun, raðvensl, hlutröðun
   = order 13, order relation 1, partial order, partial ordering
   -> arrangement
2. línuleg röðun, fullröðun
   = linear order, linear ordering, order 14, order relation 2, simple order, simple ordering, total order, total ordering

bordering, n.

1. brydding

bordering method

1. bryddingaraðferð

linear ordering

1. línuleg röðun, fullröðun
   = linear order, order 14, ordering 2, order relation 2, simple order, simple ordering, total order, total ordering

partial ordering

1. röðun, raðvensl, hlutröðun
   = order 13, order relation 1, ordering 1, partial order

preordering, n.

1. = preorder

reordering, n.

1. umröðun
   = arrangement 2, rearrangement
   -> permutation

simple ordering

1. línuleg röðun, fullröðun
   = linear order, linear ordering, order 14, ordering 2, order relation 2, simple order, total order, total ordering

strict ordering

1. ströng röðun
   = strong ordering

strong ordering

1. ströng röðun
   = strict ordering

total ordering

1. línuleg röðun, fullröðun
   = linear order, linear ordering, order 14, ordering 2, order relation 2, simple order, simple ordering, total order

weak ordering

1. forröðun
   = preorder, preordering, quasi-order
   -> ordering

well-ordering, n.

1. velröðun

well-ordering principle

1. velröðunarlögmál, velröðunarsetning
   = well-ordering theorem

well-ordering theorem

1. = well-ordering principle