Products by Relational Semantics