除法操作（÷）在关系代数中用于找出在关系R中存在而关系S中不存在的属性组合，通常表示从关系R中“选出所有不同属性的元组”。