A graph G of even order is k-extendable if it has at least 2 k+2 vertices, contains a matching of size k, and if every k-matching is contained in a perfect matching of G. In the talk we will discuss 1-extendability and 2-extendability of Cartesian product of graphs and lexicographic products of graphs.