For example, in class HASH_TABLE a derivation HASH_TABLE is valid only if STRING inherits from HASHABLE (as it indeed does in typical Eiffel libraries).
На пример у  class HASH_TABLE деривација HASH_TABLE је тачна само акоSTRING наслеђује од HASHABLE (као што заиста ради у типичним Ајфеловим библиотекама).