O conjunto , onde é definida por , com a pertencente aos , é