This work is a short review of the state of the art aiming to contribute to the use, disclosure, and propagation of systems of linear inequalities in real life, teaching, and research. It shows that the algebraic structure of their solutions consists of the sum of a linear subspace, an acute cone, and a polytope, and that adequate software exists to obtain, in their simplest forms, these three components. The work describes, based on orthogonality and polarity, homogeneous and complete systems of inequalities, the associated compatibility problems, and their relations with convex polyhedra and polytopes, which are the only possible solution for bounded problems, the most common in real practice. The compatibility and the observability problems, including their symbolic forms, are analyzed and solved, identifying the subsets of unknowns with unique solutions and those unbounded, important items of information with practical relevance in artificial intelligence and automatic learning. Having infinitely many solutions of a given problem allows us to find solutions when some of the assumptions fail and unexpected constraints come into play, a common situation for engineers. The linear programming problem becomes trivial when the set of all solutions is available and all solutions are obtained, contrary to the case of standard programs that provide only one solution. Several examples of applications to several areas of knowledge are presented, illustrating the advantages of solving these systems of inequalities.