Egy adattípust, amelynek tagjai és a műveletek kivenni azokat egy másik adattípusra, egyesek szerint megadott szabályt.