Definición


Sean los conjuntos y , donde es un subconjunto de sii