 that consist of all $x \in P$ at a given horizontal position relative to the rc-embedding. For example, let $P = [2] \times [2]$, and write $(1,1),(2,1),(1,2),(2,2)$ as $w,x,y,z$ for short, with $w < x < z$ and $w < y < z$. Our rc-embedding has $\pi(w) = (0,0)$, $\pi(x) = (-1,1)$, $\pi(y) = (1,1)$, and $\pi(z) = (0,2)$.

(-1,-.5)(1,2.5) (0,0)(-1,1) (0,0)(1,1) (-1,1)(0,2) (1,1)(0,2) (0,0)[.05]{} (0,2)[.05]{} (-1,1)[.05]{} (1,1)[.05]{} (0,-.2)[$w$]{} (0,2.2)[$z$]{} (-1.2,1)[$x$]{} (1.2,1)[$y$]{}

The ranks are $\{w\}$, $\{x,y\}$, and $\{z\}$, and the files are $\{x\}$, $\{w,z\}$, and $\{y\}$. We number the ranks of $[a] \times [b]$ from 0 (bottom) to $n-1$ (top), and we number the files of $[a] \times [b]$ from 1 (left) to $n$ (right). That is, for $P = [a] \times [b]$, $(i,j) \in P$ belongs to the $(i+j-2)$nd rank of $P$ and the $(j-i+a)$th[^3] file of $P$.

We call $S \subseteq P$ an [*order ideal*]{} (or [*downset*]{}) of $P$ when $x \in S$ and $y \leq x$ imply $y \in S$. We call $S \subseteq P$ a [*filter*]{} (or [*upset*]{}) of $P$ when $x \in S$ and $y \geq x$ imply $y \in S$. We call $S \subseteq P$ an [*antichain*]{} when $x, y \in S
that consist of all $ x \in P$ at a given horizontal position relative to the rc - embedding. For case, lease $ P = [ 2 ] \times [ 2]$, and write $ (1,1),(2,1),(1,2),(2,2)$ as $ w, x, y, z$ for unretentive, with $ w < x < z$ and $ w < y < z$. Our rc - embedding have $ \pi(w) = (0,0)$, $ \pi(x) = (-1,1)$, $ \pi(y) = (1,1)$, and $ \pi(z) = (0,2)$. 

 (-1,-.5)(1,2.5) (0,0)(-1,1) (0,0)(1,1) (-1,1)(0,2) (1,1)(0,2) (0,0)[.05 ] { } (0,2)[.05 ] { } (-1,1)[.05 ] { } (1,1)[.05 ] { } (0,-.2)[$w$ ] { } (0,2.2)[$z$ ] { } (-1.2,1)[$x$ ] { } (1.2,1)[$y$ ] { } 

 The ranks are $ \{w\}$, $ \{x, y\}$, and $ \{z\}$, and the files are $ \{x\}$, $ \{w, z\}$, and $ \{y\}$. We number the ranks of $ [ a ] \times [ b]$ from 0 (bottom) to $ n-1 $ (circus tent), and we number the files of $ [ a ] \times [ b]$ from 1 (leave) to $ n$ (right). That is, for $ P = [ a ] \times [ b]$, $ (i, j) \in P$ belongs to the $ (i+j-2)$nd rank of $ P$ and the $ (j - i+a)$th[^3 ] file of $ P$. 

 We call $ S \subseteq P$ an [ * ordering ideal * ] { } (or [ * downset * ] { }) of $ P$ when $ x \in S$ and $ y \leq x$ imply $ y \in S$. We call $ S \subseteq P$ a [ * filter * ] { } (or [ * upset * ] { }) of $ P$ when $ x \in S$ and $ y \geq x$ incriminate $ y \in S$. We call $ S \subseteq P$ an [ * antichain * ] { } when $ x, y \in S
 thwt consist of all $x \in P$ at a given hornzontal positjon relagive to the rc-embedding. For xxample, ltn $P = [2] \times [2]$, and writd $(1,1),(2,1),(1,2),(2,2)$ as $w,x,y,d$ for shoet, wmth $w < x < z$ and $x < y < z$. Our rc-slbedbiig has $\pi(w) = (0,0)$, $\pi(w) = (-1,1)$, $\pi(y) = (1,1)$, atd $\pi(z) = (0,2)$.

(-1,-.5)(1,2.5) (0,0)(-1,1) (0,0)(1,1) (-1,1)(0,2) (1,1)(0,2) (0,0)[.05]{} (0,2)[.05]{} (-1,1)[.05]{} (1,1)[.05]{} (0,-.2)[$w$]{} (0,2.2)[$z$]{} (-1.2,1)[$x$]{} (1.2,1)[$y$]{}

The ranks are $\{w\}$, $\{x,y\}$, and $\{z\}$, and ehe filrs are $\{x\}$, $\{w,z\}$, and $\{i\}$. We mtmbed the ranks of $[a] \times [b]$ from 0 (botfom) to $i-1$ (top), and we nukber the files of $[a] \times [h]$ frlm 1 (left) to $n$ (righh). That is, fir $P = [a] \times [b]$, $(i,g) \in P$ belongs to the $(j+j-2)$nd rank of $P$ and the $(j-i+a)$th[^3] fiue of $P$.

We call $W \wubdgteq P$ an [*orver idval*]{} (or [*downseb*]{}) of $P$ fhen $x \on S$ and $y \leq x$ mmplt $y \in S$. We call $S \suuseteq P$ a [*filter*]{} (or [*upset*]{}) of $P$ when $x \in S$ and $t \teq x$ impny $y \un R$. Wt cell $S \subdetxq P$ an [*antjchain*]{} when $x, y \in S
that consist of all $x \in P$ given position relative the rc-embedding. For \times and write $(1,1),(2,1),(1,2),(2,2)$ $w,x,y,z$ for short, $w < x < z$ and < y < z$. Our rc-embedding has $\pi(w) = (0,0)$, $\pi(x) = (-1,1)$, = (1,1)$, and $\pi(z) = (0,2)$. (-1,-.5)(1,2.5) (0,0)(-1,1) (0,0)(1,1) (-1,1)(0,2) (1,1)(0,2) (0,0)[.05]{} (0,2)[.05]{} (1,1)[.05]{} (0,2.2)[$z$]{} (1.2,1)[$y$]{} ranks are $\{w\}$, $\{x,y\}$, and $\{z\}$, and the files are $\{x\}$, $\{w,z\}$, and $\{y\}$. We number ranks of $[a] \times [b]$ from 0 (bottom) $n-1$ (top), and we the files of $[a] \times from (left) to (right). is, $P = [a] [b]$, $(i,j) \in P$ belongs to the $(i+j-2)$nd rank of $P$ and the $(j-i+a)$th[^3] file of $P$. call $S an [*order (or of when $x \in $y \leq x$ imply $y \in $S \subseteq P$ a [*filter*]{} (or [*upset*]{}) of when $x S$ and $y \geq x$ imply \in S$. We call $S \subseteq P$ an when $x, y \in S
 that consist of all $x \in P$ at a giVen horizonTal poSitIon ReLatiVe to The rc-embedding. fOr exAmple, let $P = [2] \times [2]$, and write $(1,1),(2,1),(1,2),(2,2)$ As $w,x,y,Z$ fOR shoRT, wIth $w < x < Z$ and $w < y < z$. oUr RC-EmbEdDiNg hAs $\PI(w) = (0,0)$, $\Pi(x) = (-1,1)$, $\pi(Y) = (1,1)$, anD $\pi(z) = (0,2)$.

(-1,-.5)(1,2.5) (0,0)(-1,1) (0,0)(1,1) (-1,1)(0,2) (1,1)(0,2) (0,0)[.05]{} (0,2)[.05]{} (-1,1)[.05]{} (1,1)[.05]{} (0,-.2)[$w$]{} (0,2.2)[$z$]{} (-1.2,1)[$x$]{} (1.2,1)[$Y$]{}

The ranks aRe $\{w\}$, $\{X,y\}$, And $\{z\}$, and the fiLEs Are $\{x\}$, $\{w,z\}$, and $\{y\}$. we nUmber the rankS of $[A] \times [B]$ fRom 0 (BOttom) To $n-1$ (Top), anD we numBEr the fIles of $[a] \tiMeS [B]$ from 1 (lEFt) to $n$ (riGHT). THat iS, for $P = [a] \times [b]$, $(i,j) \in P$ BElONgs to the $(i+j-2)$nd raNk of $P$ aNd THe $(J-I+A)$th[^3] FilE of $P$.

We call $s \sUbsetEQ P$ an [*ordER iDEAL*]{} (or [*DOwnset*]{}) of $P$ when $X \in S$ and $y \leq X$ ImpLy $y \in S$. we CalL $s \subseTeq P$ a [*FiLTer*]{} (Or [*upset*]{}) of $P$ wHen $x \In S$ and $y \geQ x$ implY $Y \in S$. We cALl $S \subsEteq P$ aN [*anTicHain*]{} WHeN $x, Y \in s
 that consist of all $x \i n P$ at agiven  ho riz on talposi tion relativet o th e rc-embedding. For ex ample ,l et $ P  =  [2]\times[ 2] $ ,  an dwr ite  $ ( 1, 1),(2 ,1) ,(1,2), (2,2)$ as$w, x, y,z$ for sho r t,  with $w <  x< z$ and $w< y  < z$.  O urr c-emb edd ing h as $\p i (w) =(0,0)$, $ \p i (x) =( -1,1)$, $ \p i(y)  = (1,1)$, and $\ p i( z ) = (0,2)$.

( -1,-.5 )( 1 ,2 . 5 ) ( 0,0 )(-1,1) (0 ,0 )(1,1 )  (-1,1) ( 0, 2 ) (1, 1 )(0,2) (0,0)[ .05]{} (0,2 ) [.0 5]{} ( -1 ,1) [ .05]{}  (1,1 )[ . 05] {} (0,-.2)[ $w$] {} (0,2.2 )[$z$] { } (-1.2 , 1)[$x$] {} (1. 2,1 )[$ y$]{ } 
Th e r an k s a r e$\{ w \}$ , $\{x,y \} $,  and$\{z \ } $ ,  and  th e fi les a re $\{x\}$, $ \{w ,z\} $ , a nd $\ {y\}$ . We  n umber  the r anksof  $[a] \times [b ]$ f rom 0 (bo tto m)  to  $ n-1$( top),and  we  number  the fi l esof $ [ a]  \times [b]$ from1( l ef t) to $n $ (rig h t) .T hat is,fo r $ P =[ a ] \ti mes[ b] $, $(i,j ) \inP $be longs t othe $( i+ j-2 )$n d ran k  of$P$ an d the $( j-i+a ) $th[^3] file o f  $P$.

We cal l  $ S \s u bset eqP$ an [*ord er i d eal* ]{}( or  [* d ownse t*]{} )o f$ P$ when $x \in S$ a nd  $y \l eq x$  imply $y \in  S$. We ca l l $S \subs eteq P$ a [*filter*]{}  (or[*upset*]{ } ) of $P$  when  $x \inS$ and $y \ geq x$ i mpl y $ y \ inS $ .We call $S \s u b sete qP$ an [ *an tichain *]{ } w hen  $x ,y \in S
 that_consist of_all $x \in P$_at a_given_horizontal position_relative_to the rc-embedding._For example, let_$P = [2] \times_[2]$, and write_$(1,1),(2,1),(1,2),(2,2)$_as $w,x,y,z$ for short, with $w < x < z$ and $w < y_<_z$. Our_rc-embedding_has_$\pi(w) = (0,0)$, $\pi(x) =_(-1,1)$, $\pi(y) = (1,1)$, and_$\pi(z) =_(0,2)$.

(-1,-.5)(1,2.5) (0,0)(-1,1) (0,0)(1,1) (-1,1)(0,2) (1,1)(0,2) (0,0)[.05]{} (0,2)[.05]{} (-1,1)[.05]{}_(1,1)[.05]{}_(0,-.2)[$w$]{} (0,2.2)[$z$]{} (-1.2,1)[$x$]{}_(1.2,1)[$y$]{}

The ranks are $\{w\}$, $\{x,y\}$, and $\{z\}$, and the_files are $\{x\}$, $\{w,z\}$, and $\{y\}$._We number the_ranks_of_$[a] \times [b]$ from_0 (bottom) to $n-1$ (top), and_we number the files of $[a]_\times [b]$ from 1 (left) to $n$_(right). That is, for $P =_[a] \times [b]$, $(i,j) \in_P$ belongs_to the $(i+j-2)$nd rank of_$P$ and the_$(j-i+a)$th[^3] file_of $P$.

We call_$S \subseteq P$ an [*order ideal*]{}_(or [*downset*]{}) of_$P$ when $x \in S$ and_$y_\leq x$ imply_$y_\in_S$. We_call $S \subseteq_P$_a [*filter*]{}_(or_[*upset*]{}) of $P$ when $x \in_S$_and $y \geq x$ imply $y \in_S$. We call $S_\subseteq_P$ an [*antichain*]{} when_$x, y \in S