Ааа... т.е. структура - просто какая-нибудь система отношений над множеством. А те же операции можно сделать так, чтобы они вели себя по-разному для x и {x}, так что изоморфизм может, грубо говоря, "не сохраняться" при выполнении операций. Правильно я вас понял?