operaciones formales