Una condición necesaria es una condición necesaria.
Si A es condición suficiente de B, A puede deducir que B se expresa como A->;
Si B es condición necesaria de a, B puede deducir que a se expresa como < -B
Un rango grande puede inferir si un rango pequeño es verdadero, pero un rango pequeño no puede inferir si un rango grande es verdadero.