the infimum and supremum of operators, and generalized inverse of operators are heated topics in operator theory and also have important value in both theory and application.
in this note, using the spectral theory of linear operators, a spectral representation of infimum of two self-adjoint operators with respect to the logic order is established.