An inequality related to two integer sequences satisfying an order condition.
This is an indicatory presentation of main definitions and theorems of Fibonomial Calculus which is a special case of ψ-extented Rota's finite operator calculus [7].