Changes

|}

|}

Clearly, if any relation is (≤''c'')-regular on one of its domains ''X''_''j'' and also (≥''c'')-regular on the same domain, then it must be (=''c'')-regular on the affected domain ''X''_''j'', in effect, ''c''-regular at ''j''.

Clearly, if any relation is <math>(\le c)\text{-regular}</math> on one of its domains <math>X_j\!</math> and also <math>(\ge c)\text{-regular}</math> on the same domain, then it must be <math>(= c)\text{-regular}\!</math> on that domain, in effect, <math>c\text{-regular}\!</math> at <math>j.\!</math>

For example, let ''G'' = {''r'',&nbsp;''s'',&nbsp;''t''} and ''H'' = {1,&nbsp;&hellip;,&nbsp;9}, and consider the 2-adic relation ''F''&nbsp;&sube;&nbsp;''G''&nbsp;&times;&nbsp;''H'' that is bigraphed here:

For example, let ''G'' = {''r'',&nbsp;''s'',&nbsp;''t''} and ''H'' = {1,&nbsp;&hellip;,&nbsp;9}, and consider the 2-adic relation ''F''&nbsp;&sube;&nbsp;''G''&nbsp;&times;&nbsp;''H'' that is bigraphed here: