Freie Operation Dies ist eine Operation, die nicht innerhalb eines typfreien Objekts, eines abstrakten Datentyps oder einer Klasse definiert ist. Es sind meistens nicht-triviale Operationen, die im allgemeinen auf Datenobjekte bzw. Objekte unterschiedlichen Typs angewendet werden.