We consider some inequalities in such classical Banach Function Spaces as Lorentz, Marcinkiewicz, and Orlicz spaces. Our aim is to explore connections between the norm of a function of two variables on the product space and the mixed norm of the same function, where mixed norm is calculated in function spaces on coordinate spaces, first in one variable, then in the other. This issue is motivated by various problems of functional analysis and theory of functions. We will currently mention just geometry of spaces of vector-valued functions and embedding theorems for Sobolev and Besov spaces generated by metrics which differ from L^p. Our main results are actually counterexamples for Lorentz spaces versus the natural intuition that arises from the easier case of Orlicz spaces (Section 2). In the Appendix we give a proof for the Kolmogorov-Nagumo theorem on change of order of mixed norm calculation in its most general form. This result shows that L^p is the only space where it is possible to change this order.