Taggroup theory