Sugiro ampliação da área de definições, incluindo mais comentários sobre a simbologia (pois elas podem levar a má interpretação por quem não possui experiência com elas, acredito que o tópico precisa ser convidativo e solucionador de dúvidas mesmo sendo básicas) e seria interessante incluir mais comentários sobre as propriedades, axiomas listados.
