de elementos de "X" tal que "x""R x" para todo número natural "n".