等式成立的條件是（）。

試用關(guān)系邏輯的規(guī)則來定義下列查詢語句：
①檢索LIU老師所授課程的課程號和課程名。
②檢索年齡大于23歲的男學(xué)生的學(xué)號和姓名。
③檢索學(xué)號為S3學(xué)生所學(xué)課程的課程名與任課教師名。
④檢索至少選修LIU老師所授課程中一門課的女學(xué)生姓名。
⑤檢索WANG同學(xué)不學(xué)的課程的課程號。
⑥檢索至少選修兩門課的學(xué)生學(xué)號。
⑦檢索全部學(xué)生都選修的課程的課程號與課程名。
⑧檢索選修課程包含LIU老師所授全部課程的學(xué)生學(xué)號。

對下列每個規(guī)則，寫出關(guān)系代數(shù)表達式來定義與規(guī)則頭部相同的關(guān)系：