Point-free definition of "one"