De acuerdo con la definición establecida por Richard Stallman, un "software" es "libre" cuando garantiza las siguientes libertades: