Tanım:  X ve Y'nin iki küme olduğunu varsayalım. X ve Y'nin  XY ile gösterilen ara kesiti X'de ve Y'de olan elemanlardan oluşan kümedir.