集合論でいうならGNU/Linuxは商集合だな。