Usualmente, la relación formula_3 se lee como "menor igual" (en forma intuitiva).