Polimorfismo, sobrecarga y alto orden.