A partir de estos símbolos, se definen las siguientes nociones: