The book tells how you can formally describe the properties of the well-known relationships indicated in the title. This example shows how the transition from familiar, but inaccurate concepts to strict mathematical definitions occurs. The need for a strict description of the simplest relations arises in mathematical logic, cybernetics, mathematical linguistics, etc.