como un pareja formada por el conjunto y la operación, .