Relation CartesianProduct

rascal-0.40.17

Synopsis

Cartesian product of two relation values.

Syntax

Exp₁ * Exp₂

Types

Exp₁	Exp₂	Exp₁ * Exp₂
set[T₁]	set[T₂]	rel[T₁, T₂]

Description

Returns a binary relation that is the Cartesian product of two sets.

Examples

rascal>{1, 2, 3} * {9};
rel[int,int]: {
  <1,9>,
  <3,9>,
  <2,9>
}
rascal>{1, 2, 3} * {10, 11};
rel[int,int]: {
  <1,10>,
  <1,11>,
  <3,10>,
  <3,11>,
  <2,10>,
  <2,11>
}