public PairElement(ElementWithValue domain, ElementWithValue codomain) { Domain = domain; Codomain = codomain; }
public PairElement(Element domain, Element codomain) { Domain = new ElementWithValue(domain); Codomain = new ElementWithValue(codomain); }