Definitions added

Changes in the definitions section. I still have to add the proper
theorems. Good thing, nothing depends on the signs.